{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreie7rkap5q4eh27tqoxcofo53vfgdiqwlxkbm6etr7v6kfhxt6aiqa",
    "uri": "at://did:plc:mxtd5epbtdu6fctoswivxycy/app.bsky.feed.post/3mf726x3xngy2"
  },
  "path": "/story/144430/f9-an-l4-style-microkernel-for-arm-cortex-m/",
  "publishedAt": "2026-02-18T22:08:23.000Z",
  "site": "https://www.osnews.com",
  "tags": [
    "OS News"
  ],
  "textContent": "F9 is an L4-inspired microkernel designed for ARM Cortex-M, targeting real-time embedded systems with hard determinism requirements. It implements the fundamental microkernel principles—address spaces, threads, and IPC, while adding advanced features from industrial RTOSes. ↫ F9 kernel GitHub page For once, not written in Rust, and comes with both an L4-style native API and a userspace POSIX API, and there’s a ton of documentation to get you started.",
  "title": "F9: an L4-style microkernel for ARM Cortex-M"
}