{"adoption": {"forks": 803, "observed_at": "2026-08-28T04:09:28.220541+00:00", "stars": 5717}, "canonical_url": "https://ross.abutalabs.com/products/sel4", "card": {"archived": false, "artifact_type": "library", "description": "The seL4 microkernel", "domain": ["operating-systems", "security", "embedded-systems"], "enriched": true, "function": ["security", "embedded"], "health_score": 100, "homepage": "https://sel4.systems", "language": "C", "license": "NOASSERTION", "license_family": "other", "maturity": "active", "member_repos": ["seL4/seL4"], "name": "seL4/seL4", "platform": ["embedded", "iot", "cross-platform", "c"], "pushed_at": "2026-08-25T15:30:58+00:00", "repo": "seL4/seL4", "stars": 5717, "tags": ["microkernel", "formal-verification", "kernel", "capability-based-security", "real-time", "isolation", "operating-systems"], "topics": ["sel4-microkernel", "os", "microkernel", "sel4"], "urls": [], "use_cases": ["build a formally verified secure operating system kernel", "run isolated components on an embedded microkernel", "develop safety-critical or security-critical firmware", "learn about capability-based microkernel design", "port a microkernel to custom hardware", "achieve strong isolation between system components"], "what_it_is": "seL4 is a formally verified microkernel operating system kernel written in C, providing high-assurance isolation and capability-based security. It is designed for embedded and safety/security-critical systems and is typically used as a component within a larger build system.", "when_to_avoid": ["you need a general-purpose desktop or server OS with broad driver support out of the box", "your team cannot handle the steep learning curve of capability-based microkernel programming", "you need a quick application platform rather than a kernel to build upon"], "when_to_choose": ["you need mathematically proven kernel correctness and strong isolation guarantees", "you are building embedded, automotive, avionics, or defense systems with high-assurance requirements", "you want a small, fast, capability-based microkernel foundation"]}, "data_as_of": "2026-08-30T08:39:29.467469+00:00", "members": [{"path": "/products/sel4", "repo": "seL4/seL4", "role": "main", "score": 89}], "provenance": {"archived": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "artifact_type": {"confidence": null, "enriched_at": "2026-08-29T17:53:28.778481+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f104651c897f81d4e3c9140093c52323f05295122983401f05a78f873baf3764", "fetched_at": "2026-08-28T04:09:28.220541+00:00", "kind": "readme", "missing": false, "url": "https://github.com/seL4/seL4"}, {"content_hash": "e9cef41df2b92ab01262f3b44e7c58471eaf9db2ee690f9c081d14cc744ccf7b", "fetched_at": "2026-08-29T08:48:56.531056+00:00", "kind": "homepage", "missing": false, "url": "https://sel4.systems"}], "taxonomy_version": 1}, "description": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "domain": {"confidence": null, "enriched_at": "2026-08-29T17:53:28.778481+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f104651c897f81d4e3c9140093c52323f05295122983401f05a78f873baf3764", "fetched_at": "2026-08-28T04:09:28.220541+00:00", "kind": "readme", "missing": false, "url": "https://github.com/seL4/seL4"}, {"content_hash": "e9cef41df2b92ab01262f3b44e7c58471eaf9db2ee690f9c081d14cc744ccf7b", "fetched_at": "2026-08-29T08:48:56.531056+00:00", "kind": "homepage", "missing": false, "url": "https://sel4.systems"}], "taxonomy_version": 1}, "enriched": {"inputs": [], "kind": "computed", "method": "enrichment_status"}, "function": {"confidence": null, "enriched_at": "2026-08-29T17:53:28.778481+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f104651c897f81d4e3c9140093c52323f05295122983401f05a78f873baf3764", "fetched_at": "2026-08-28T04:09:28.220541+00:00", "kind": "readme", "missing": false, "url": "https://github.com/seL4/seL4"}, {"content_hash": "e9cef41df2b92ab01262f3b44e7c58471eaf9db2ee690f9c081d14cc744ccf7b", "fetched_at": "2026-08-29T08:48:56.531056+00:00", "kind": "homepage", "missing": false, "url": "https://sel4.systems"}], "taxonomy_version": 1}, "health_score": {"inputs": ["days_since_push", "days_since_release", "archived"], "kind": "computed", "method": "health_v1"}, "homepage": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "language": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "license": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "license_family": {"inputs": ["license"], "kind": "computed", "method": "license_family"}, "maturity": {"confidence": null, "enriched_at": "2026-08-29T17:53:28.778481+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f104651c897f81d4e3c9140093c52323f05295122983401f05a78f873baf3764", "fetched_at": "2026-08-28T04:09:28.220541+00:00", "kind": "readme", "missing": false, "url": "https://github.com/seL4/seL4"}, {"content_hash": "e9cef41df2b92ab01262f3b44e7c58471eaf9db2ee690f9c081d14cc744ccf7b", "fetched_at": "2026-08-29T08:48:56.531056+00:00", "kind": "homepage", "missing": false, "url": "https://sel4.systems"}], "taxonomy_version": 1}, "member_repos": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "name": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "platform": {"confidence": null, "enriched_at": "2026-08-29T17:53:28.778481+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f104651c897f81d4e3c9140093c52323f05295122983401f05a78f873baf3764", "fetched_at": "2026-08-28T04:09:28.220541+00:00", "kind": "readme", "missing": false, "url": "https://github.com/seL4/seL4"}, {"content_hash": "e9cef41df2b92ab01262f3b44e7c58471eaf9db2ee690f9c081d14cc744ccf7b", "fetched_at": "2026-08-29T08:48:56.531056+00:00", "kind": "homepage", "missing": false, "url": "https://sel4.systems"}], "taxonomy_version": 1}, "pushed_at": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "repo": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "stars": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "tags": {"confidence": null, "enriched_at": "2026-08-29T17:53:28.778481+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f104651c897f81d4e3c9140093c52323f05295122983401f05a78f873baf3764", "fetched_at": "2026-08-28T04:09:28.220541+00:00", "kind": "readme", "missing": false, "url": "https://github.com/seL4/seL4"}, {"content_hash": "e9cef41df2b92ab01262f3b44e7c58471eaf9db2ee690f9c081d14cc744ccf7b", "fetched_at": "2026-08-29T08:48:56.531056+00:00", "kind": "homepage", "missing": false, "url": "https://sel4.systems"}], "taxonomy_version": 1}, "topics": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "urls": {"kind": "observed", "observed_at": "2026-08-28T04:09:28.220541+00:00", "source": "github"}, "use_cases": {"confidence": null, "enriched_at": "2026-08-29T17:53:28.778481+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f104651c897f81d4e3c9140093c52323f05295122983401f05a78f873baf3764", "fetched_at": "2026-08-28T04:09:28.220541+00:00", "kind": "readme", "missing": false, "url": "https://github.com/seL4/seL4"}, {"content_hash": "e9cef41df2b92ab01262f3b44e7c58471eaf9db2ee690f9c081d14cc744ccf7b", "fetched_at": "2026-08-29T08:48:56.531056+00:00", "kind": "homepage", "missing": false, "url": "https://sel4.systems"}], "taxonomy_version": 1}, "what_it_is": {"confidence": null, "enriched_at": "2026-08-29T17:53:28.778481+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f104651c897f81d4e3c9140093c52323f05295122983401f05a78f873baf3764", "fetched_at": "2026-08-28T04:09:28.220541+00:00", "kind": "readme", "missing": false, "url": "https://github.com/seL4/seL4"}, {"content_hash": "e9cef41df2b92ab01262f3b44e7c58471eaf9db2ee690f9c081d14cc744ccf7b", "fetched_at": "2026-08-29T08:48:56.531056+00:00", "kind": "homepage", "missing": false, "url": "https://sel4.systems"}], "taxonomy_version": 1}, "when_to_avoid": {"confidence": null, "enriched_at": "2026-08-29T17:53:28.778481+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f104651c897f81d4e3c9140093c52323f05295122983401f05a78f873baf3764", "fetched_at": "2026-08-28T04:09:28.220541+00:00", "kind": "readme", "missing": false, "url": "https://github.com/seL4/seL4"}, {"content_hash": "e9cef41df2b92ab01262f3b44e7c58471eaf9db2ee690f9c081d14cc744ccf7b", "fetched_at": "2026-08-29T08:48:56.531056+00:00", "kind": "homepage", "missing": false, "url": "https://sel4.systems"}], "taxonomy_version": 1}, "when_to_choose": {"confidence": null, "enriched_at": "2026-08-29T17:53:28.778481+00:00", "kind": "inferred", "prompt_version": 1, "sources": [{"content_hash": "f104651c897f81d4e3c9140093c52323f05295122983401f05a78f873baf3764", "fetched_at": "2026-08-28T04:09:28.220541+00:00", "kind": "readme", "missing": false, "url": "https://github.com/seL4/seL4"}, {"content_hash": "e9cef41df2b92ab01262f3b44e7c58471eaf9db2ee690f9c081d14cc744ccf7b", "fetched_at": "2026-08-29T08:48:56.531056+00:00", "kind": "homepage", "missing": false, "url": "https://sel4.systems"}], "taxonomy_version": 1}}, "score": {"components": {"activity": 99, "longevity": 100, "rhythm": 70}, "computed_at": "2026-09-02T17:46:02.011165+00:00", "flags": ["no_license"], "formula": "round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10)", "inputs": {"age_days": 4429, "days_push": 8, "days_rel": 42, "gap_med": 111.0, "n_releases_24m": 3}, "score": 89, "version": 2}, "staleness": {"enrichment_outdated": false, "low_confidence": false, "scrape_days": 9, "stale_scrape": false}}