{"id":19608638,"url":"https://github.com/sel4/microkit","last_synced_at":"2026-04-02T19:42:33.201Z","repository":{"id":45149791,"uuid":"419513424","full_name":"seL4/microkit","owner":"seL4","description":"Microkit - A simple operating system framework for the seL4 microkernel","archived":false,"fork":false,"pushed_at":"2026-03-27T06:47:26.000Z","size":1881,"stargazers_count":178,"open_issues_count":49,"forks_count":72,"subscribers_count":26,"default_branch":"main","last_synced_at":"2026-03-27T13:59:12.616Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":"https://docs.sel4.systems/projects/microkit/","language":"Rust","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":".github/CONTRIBUTING.md","funding":null,"license":"LICENSE.md","code_of_conduct":".github/CODE_OF_CONDUCT.md","threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2021-10-20T22:57:25.000Z","updated_at":"2026-03-27T04:48:02.000Z","dependencies_parsed_at":"2023-09-13T13:27:46.984Z","dependency_job_id":"ff0eab86-7c9f-441a-adbf-cec604f70327","html_url":"https://github.com/seL4/microkit","commit_stats":null,"previous_names":["breakawayconsulting/sel4cp"],"tags_count":7,"template":false,"template_full_name":null,"purl":"pkg:github/seL4/microkit","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fmicrokit","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fmicrokit/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fmicrokit/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fmicrokit/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/seL4","download_url":"https://codeload.github.com/seL4/microkit/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/seL4%2Fmicrokit/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":31314381,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-04-02T12:59:32.332Z","status":"ssl_error","status_checked_at":"2026-04-02T12:54:48.875Z","response_time":89,"last_error":"SSL_connect returned=1 errno=0 peeraddr=140.82.121.5:443 state=error: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"can_crawl_api":true,"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":[],"created_at":"2024-11-11T10:16:05.471Z","updated_at":"2026-04-02T19:42:33.195Z","avatar_url":"https://github.com/seL4.png","language":"Rust","funding_links":[],"categories":[],"sub_categories":[],"readme":"\u003c!--\n     Copyright 2021, Breakaway Consulting Pty. Ltd.\n     SPDX-License-Identifier: CC-BY-SA-4.0\n--\u003e\n\n# seL4 Microkit\n\nThe purpose of the seL4 Microkit is to enable system designers to create static software systems based on the seL4 microkernel.\n\nThe seL4 Microkit consists of five components:\n\n   * Microkit bootloader\n   * CapDL initialiser\n   * Microkit library\n   * Microkit monitor\n   * Microkit tool\n\nThe Microkit is distributed as a software development kit (SDK).\n\nThis repository is the source for the Microkit SDK.\n\nIf you are a system designer and want to *use* the Microkit SDK please download a pre-built SDK from\n[the latest release](https://github.com/seL4/microkit/releases).\n\nIf you need help getting started see the [seL4 documentation website](https://docs.sel4.systems/projects/microkit/)\nas well as the manual in the SDK (`doc/manual.pdf`).\n\nIf you are *developing* Microkit itself see [DEVELOPER.md](./DEVELOPER.md).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fmicrokit","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsel4%2Fmicrokit","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsel4%2Fmicrokit/lists"}