FTL operating system

Architecture

                     Message Passing
  Isolation #1  ┌ ─ ─ ─ ┐        ┌ ─ ─ ┐  Isolation #2
  (user mode)   │       │        │     │  (kernel mode)
  ┌─────────────│──┐┌───│────────│─────│─────────────┐
  │ Process     ▼  ││   ▼        ▼     ▼             │
  │ ┏━━━━━━━━━━━━▄ ││ ┏━━━━━━━━━━━━▄  ┏━━━━━━━━━━━━▄ │
  │ ┃            █ ││ ┃            █  ┃            █ │
  │ ┃  API       █ ││ ┃  TCP/IP    █  ┃  Ethernet  █ │
  │ ┃  Server    █ ││ ┃  Stack     █  ┃  Driver    █ │
  │ ┃            █ ││ ┃            █  ┃            █ │
  │ ▝▀▀▀▀▀▀▀▀▀▀▀▀▀ ││ ▝▀▀▀▀▀▀▀▀▀▀▀▀▀  ▝▀▀▀▀▀▀▀▀▀▀▀▀▀ │
  └───│────────────┘└────────────────────────────────┘
      │                                   Applications
  ╶╶╶╶│╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶╶
      ▼ System Calls                            Kernel
  ╔══════════════════════════════════════════════════╗
  ║       Microkernel (memory, threads, IPC, ...)    ║
  ╚══════════════════════════════════════════════════╝

Features & Goals

• Microkernel architecture (OS services are isolated processes)
• Userspace-first design: make OS development approachable for everyone
• Run performance-critical services in kernel (safely)
• Schema-less and async message passing IPC
• Fast edit-and-run cycle for hassle-free developer experience