{"id":15031064,"url":"https://github.com/sel4/sel4","last_synced_at":"2025-05-13T21:12:21.902Z","repository":{"id":18764972,"uuid":"21977691","full_name":"seL4/seL4","owner":"seL4","description":"The seL4 microkernel","archived":false,"fork":false,"pushed_at":"2025-05-09T04:21:28.000Z","size":14950,"stargazers_count":4919,"open_issues_count":214,"forks_count":692,"subscribers_count":205,"default_branch":"master","last_synced_at":"2025-05-09T05:25:59.453Z","etag":null,"topics":["microkernel","os","sel4","sel4-microkernel"],"latest_commit_sha":null,"homepage":"https://sel4.systems","language":"C","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/seL4.png","metadata":{"files":{"readme":"README.md","changelog":"CHANGES.md","contributing":"CONTRIBUTING.md","funding":null,"license":"LICENSE.md","code_of_conduct":"CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":"SECURITY.md","support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null}},"created_at":"2014-07-18T11:08:06.000Z","updated_at":"2025-05-09T03:35:06.000Z","dependencies_parsed_at":"2023-10-17T09:01:04.736Z","dependency_job_id":"5ff5ba97-f7b6-45f0-950e-64cf1ec6f4bb","html_url":"https://github.com/seL4/seL4","commit_stats":null,"previous_names":[],"tags_count":39,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2FseL4","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2FseL4/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2FseL4/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2FseL4/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/seL4","download_url":"https://codeload.github.com/seL4/seL4/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":254029008,"owners_count":22002284,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["microkernel","os","sel4","sel4-microkernel"],"created_at":"2024-09-24T20:14:49.099Z","updated_at":"2025-05-13T21:12:16.864Z","avatar_url":"https://github.com/seL4.png","language":"C","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!--\n     Copyright 2014, General Dynamics C4 Systems\n\n     SPDX-License-Identifier: GPL-2.0-only\n--\u003e\n\nThe seL4 microkernel\n====================\n\n[![CII Best Practices](https://bestpractices.coreinfrastructure.org/projects/5003/badge)](https://bestpractices.coreinfrastructure.org/projects/5003)\n[![CI](https://github.com/seL4/seL4/actions/workflows/push.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/push.yml)\n[![seL4Test](https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/sel4test-deploy.yml)\n[![C Parser](https://github.com/seL4/seL4/actions/workflows/cparser.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/cparser.yml)\n[![Compile](https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/compilation-checks.yml)\n[![Proof Sync](https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/preprocess-deploy.yml)\n[![RefMan](https://github.com/seL4/seL4/actions/workflows/manual.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/manual.yml)\n[![XML](https://github.com/seL4/seL4/actions/workflows/xml_lint.yml/badge.svg)](https://github.com/seL4/seL4/actions/workflows/xml_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://doi.org/10.5281/zenodo.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://sel4.systems/\n  [2]: https://docs.sel4.systems/projects/sel4/frequently-asked-questions\n  [3]: https://docs.sel4.systems/processes/contributing.html\n  [4]: https://zenodo.org/badge/DOI/10.5281/zenodo.591727.svg\n  [5]: https://sel4.systems/Info/Docs/seL4-manual-latest.pdf\n  [6]: https://docs.sel4.systems/Resources#setting-up-your-machine\n  [7]: https://docs.sel4.systems/releases/sel4\n  [8]: https://docs.sel4.systems/projects/sel4/api-doc.html\n\nseL4 Basics\n---------------\n\n- [Tutorials](https://docs.sel4.systems/Tutorials)\n- [Documentation](https://docs.sel4.systems/projects/sel4/documentation)\n- [seL4 libraries](https://docs.sel4.systems/projects/user_libs)\n- [seL4Test](https://docs.sel4.systems/projects/sel4test/)\n- [Debugging guide](https://docs.sel4.systems/projects/sel4-tutorials/debugging-guide)\n- [Benchmarking guide](https://docs.sel4.systems/projects/sel4-tutorials/benchmarking-guide.html)\n- [Virtualization on seL4](https://docs.sel4.systems/projects/virtualization/)\n- [Host Build Dependencies](https://docs.sel4.systems/projects/buildsystem/host-dependencies.html)\n- [Porting seL4](https://docs.sel4.systems/projects/sel4/porting)\n\nCommunity\n---------\n\n- Forums:\n  - [Discourse](https://sel4.discourse.group/)\n  - [seL4 Announce](https://lists.sel4.systems/postorius/lists/announce.sel4.systems)\n  - [seL4 Devel](https://lists.sel4.systems/postorius/lists/devel.sel4.systems)\n\nSee the [contact] links on the seL4 website for the full list.\n\n[contact]: https://sel4.systems/contact\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://github.com/seL4/seL4/blob/master/SECURITY.md\n\nManual\n------\n\nA hosted version of the [manual](manual/) for the most recent release can be found [here][5].\n\nA web version of the API can be found [here][8]\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\nA list of releases and current project status can be found under [seL4 releases][7].\n\n- [Roadmap](https://docs.sel4.systems/projects/roadmap): new features in development\n- [Hardware Support](https://docs.sel4.systems/Hardware): information about hardware platform ports\n- [Kernel Features](https://docs.sel4.systems/projects/sel4/status): information about available\n  kernel features\n- [Userland Components and\n      Drivers](https://docs.sel4.systems/projects/available-user-components.html): available device\n      drivers and userland components\n\nLicense\n-------\n\nSee the file [LICENSE.md](./LICENSE.md).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fsel4","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsel4%2Fsel4","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fsel4/lists"}