[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"project-6529":3},{"id":4,"name":5,"fullName":6,"owner":5,"repo":5,"description":7,"homepage":8,"htmlUrl":9,"language":10,"languages":9,"totalLinesOfCode":9,"stars":11,"forks":12,"watchers":13,"openIssues":14,"contributorsCount":15,"subscribersCount":15,"size":15,"stars1d":16,"stars7d":17,"stars30d":18,"stars90d":15,"forks30d":15,"starsTrendScore":19,"compositeScore":20,"rankGlobal":9,"rankLanguage":9,"license":21,"archived":22,"fork":22,"defaultBranch":23,"hasWiki":22,"hasPages":22,"topics":24,"createdAt":9,"pushedAt":9,"updatedAt":29,"readmeContent":30,"aiSummary":31,"trendingCount":15,"starSnapshotCount":15,"syncStatus":32,"lastSyncTime":33,"discoverSource":34},6529,"seL4","seL4\u002FseL4","The seL4 microkernel","https:\u002F\u002Fsel4.systems",null,"C",5541,775,203,155,0,3,22,75,12,39.67,"Other",false,"master",[25,26,27,28],"microkernel","os","sel4","sel4-microkernel","2026-06-12 02:01:26","\u003C!--\n     Copyright 2014, General Dynamics C4 Systems\n\n     SPDX-License-Identifier: GPL-2.0-only\n-->\n\nThe seL4 microkernel\n====================\n\n[![CII Best Practices](https:\u002F\u002Fbestpractices.coreinfrastructure.org\u002Fprojects\u002F5003\u002Fbadge)](https:\u002F\u002Fbestpractices.coreinfrastructure.org\u002Fprojects\u002F5003)\n[![CI](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fpush.yml\u002Fbadge.svg)](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fpush.yml)\n[![seL4Test](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fsel4test-deploy.yml\u002Fbadge.svg)](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fsel4test-deploy.yml)\n[![C Parser](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fcparser.yml\u002Fbadge.svg)](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fcparser.yml)\n[![Compile](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fcompilation-checks.yml\u002Fbadge.svg)](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fcompilation-checks.yml)\n[![Proof Sync](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fpreprocess-deploy.yml\u002Fbadge.svg)](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fpreprocess-deploy.yml)\n[![RefMan](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fmanual.yml\u002Fbadge.svg)](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fmanual.yml)\n[![XML](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fxml_lint.yml\u002Fbadge.svg)](https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Factions\u002Fworkflows\u002Fxml_lint.yml)\n\nThis project contains the source code of seL4 microkernel.\n\nFor details about the seL4 microkernel, including details about its formal\ncorrectness proof, please see the [`sel4.systems`][1] website and associated\n[FAQ][2].\n\nDOIs for citing recent releases of this repository:\n\n- [![DOI][4]](https:\u002F\u002Fdoi.org\u002F10.5281\u002Fzenodo.591727)\n\nWe welcome contributions to seL4. Please see the website for information\non [how to contribute][3].\n\nThis repository is usually not used in isolation, but as part of the build\nsystem in a larger project.\n\n  [1]: http:\u002F\u002Fsel4.systems\u002F\n  [2]: https:\u002F\u002Fsel4.systems\u002FAbout\u002FFAQ.html\n  [3]: https:\u002F\u002Fsel4.systems\u002FContribute\u002F\n  [4]: https:\u002F\u002Fzenodo.org\u002Fbadge\u002FDOI\u002F10.5281\u002Fzenodo.591727.svg\n  [5]: https:\u002F\u002Fsel4.systems\u002FInfo\u002FDocs\u002FseL4-manual-latest.pdf\n  [6]: https:\u002F\u002Fdocs.sel4.systems\u002Fprojects\u002Fbuildsystem\u002Fhost-dependencies.html\n  [7]: https:\u002F\u002Fdocs.sel4.systems\u002Freleases\u002FseL4.html\n  [8]: https:\u002F\u002Fdocs.sel4.systems\u002Fprojects\u002Fsel4\u002Fapi-doc.html\n\nseL4 Basics\n---------------\n\n- [Tutorials](https:\u002F\u002Fdocs.sel4.systems\u002FTutorials)\n- [Overview](https:\u002F\u002Fsel4.systems\u002FLearn\u002F)\n- [Doc Site](https:\u002F\u002Fdocs.sel4.systems\u002F)\n- [seL4 libraries](https:\u002F\u002Fdocs.sel4.systems\u002Fprojects\u002Fuser_libs)\n- [seL4Test](https:\u002F\u002Fdocs.sel4.systems\u002Fprojects\u002Fsel4test\u002F)\n- [Debugging guide](https:\u002F\u002Fdocs.sel4.systems\u002Fprojects\u002Fsel4-tutorials\u002Fdebugging-guide.html)\n- [Benchmarking guide](https:\u002F\u002Fdocs.sel4.systems\u002Fprojects\u002Fsel4-tutorials\u002Fbenchmarking-guide.html)\n- [Virtualization on seL4](https:\u002F\u002Fdocs.sel4.systems\u002Fprojects\u002Fvirtualization\u002F)\n- [Host Build Dependencies](https:\u002F\u002Fdocs.sel4.systems\u002Fprojects\u002Fbuildsystem\u002Fhost-dependencies.html)\n- [Porting seL4](https:\u002F\u002Fdocs.sel4.systems\u002Fprojects\u002Fsel4\u002Fporting.html)\n\nCommunity\n---------\n\n- Open-source help and support:\n  - [Discourse Forum](https:\u002F\u002Fsel4.discourse.group\u002F)\n  - [Mattermost Chat](https:\u002F\u002Fmattermost.trustworthy.systems\u002Fsel4-external\u002F)\n  - [seL4 announce mailing list](https:\u002F\u002Flists.sel4.systems\u002Fpostorius\u002Flists\u002Fannounce.sel4.systems)\n  - [seL4 devel mailing list](https:\u002F\u002Flists.sel4.systems\u002Fpostorius\u002Flists\u002Fdevel.sel4.systems)\n\nSee also the [contact] links on the seL4 website.\n\n[contact]: https:\u002F\u002Fsel4.systems\u002Fcontact.html\n\nReporting security vulnerabilities\n----------------------------------\n\nIf you believe you have found a security vulnerability in seL4 or related\nsoftware, we ask you to follow our [vulnerability disclosure policy][VDP].\n\n[VDP]: https:\u002F\u002Fgithub.com\u002FseL4\u002FseL4\u002Fblob\u002Fmaster\u002FSECURITY.md\n\nManual\n------\n\nA hosted PDF version of the [manual](manual\u002F) for the most recent release can be found [here][5].\n\nA web version of the [API documentation][8] is available as well.\n\nRepository Overview\n-------------------\n\n- `include` and `src`: C and ASM source code of seL4\n- `tools`: build tools\n- `libsel4`: C bindings for the seL4 ABI\n- `manual`: LaTeX sources of the seL4 reference manual\n\nBuild Instructions\n------------------\n\nSee the seL4 website for [build instructions][6].\n\nStatus\n------\n\n- [Releases][7]: list of available seL4 releases\n- [Roadmap](https:\u002F\u002Fsel4.systems\u002Froadmap.html): new features in development\n- [Hardware Support](https:\u002F\u002Fdocs.sel4.systems\u002FHardware\u002F): information about hardware platform ports\n- [Kernel Options](https:\u002F\u002Fdocs.sel4.systems\u002Fprojects\u002Fsel4\u002Fconfigurations.html): information about available\n  config options and features\n\nLicense\n-------\n\nSee the file [LICENSE.md](.\u002FLICENSE.md).\n","seL4是一个微内核，旨在提供高度的安全性和可靠性。它采用C语言编写，并通过了形式化验证，确保其代码符合规范，从而在安全性方面具有独特优势。seL4支持细粒度的访问控制和资源管理，特别适用于对安全性和隔离性要求极高的场景，如航空航天、汽车电子系统以及关键基础设施等。此外，该项目还提供了丰富的文档和支持资源，便于开发者理解和使用。",2,"2026-06-11 03:07:29","top_language"]