# seL4内核源码注释

**Repository Path**: wgz_code/sel4-comment

## Basic Information

- **Project Name**: seL4内核源码注释
- **Description**: seL4-20200714-x86_64内核源码注释
- **Primary Language**: Unknown
- **License**: Not specified
- **Default Branch**: abc
- **Homepage**: None
- **GVP Project**: No

## Statistics

- **Stars**: 0
- **Forks**: 6
- **Created**: 2022-11-15
- **Last Updated**: 2022-11-15

## Categories & Tags

**Categories**: Uncategorized

**Tags**: None

## README

这是个人学习研究seL4内核时所做的源码注释（[这有一些数据结构](备忘-seL4.txt)），主要涉及x86_64架构，除MCS有关内容外，基本覆盖了内核所有内容。seL4内核版本为截止2020-07-14时的源码树。注释工作不再继续，发布在这里仅供有兴趣者参考。

本人不对所作注释负任何责任！任何可能产生不好影响的地方也非本人意愿！