Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
Revera 0.1.0
Revera 0.1.0

Getting Started

  • Getting started with Revera
  • Writing examples — naming & structure convention

Architecture

  • The arch interface: common-denominator analysis
  • Board ↔ kernel boundary contract
  • Composability — the building-block contract
  • HAL architecture — the peripheral abstraction layer
  • Kernel header tiers — the public/internal API boundary
  • Portable security & safety API — the explicit-control model
  • The SMP model
  • Synchronization: choosing and using a cross-core primitive
  • Tick ownership & preemption-integration policy
  • Timekeeping in k2 — timers, time sources, and the system clock
  • Kernel-owned synchronization objects
  • Kernel-RAM isolation (full-lockdown, part 1 of 2)
  • Per-thread stack isolation (full-lockdown, part 2 of 2)

API Reference

  • Public API reference — 0.1.0 stable surface

Porting Guides

  • Porting the tk kernel to a new CPU (arch/<cpu>)
  • Board bring-up — the minimal foundation

Design Decisions (ADRs)

  • ADR 0001 — Foreign-architecture support policy (“draw the line by axis”)
  • ADR 0002 — Multi-instance kernel: un-globaling the singleton, AMP islands in scope (“one model, N instances”)
  • ADR 0003 — The supervisor-fence seam: a per-instance HW memory boundary that binds the kernel
  • ADR 0004 — Per-island memory isolation: fencing kernel-owned RAM + a first-class isolation attribute
  • ADR 0005 — System-side (TrustZone-AMP) fence for a secondary core that has no MPU of its own

Evaluation

  • Evaluating Revera
  • Configuration Flexibility and Modularization
  • Connectivity and Protocol Stacks
  • Hardware Abstraction and Portability
  • Inter-Task Communication (ITC) and Synchronization
  • Interrupt Handling and Synchronization
  • Commercial and Licensing Lifecycle
  • Memory Management and Footprint
  • Memory Protection & Isolation
  • Multi-Core Architecture Support
  • Safety, Security, and Compliance Certifications
  • Scheduler and Task Management
  • Standardization and API Ergonomics
  • Ecosystem, Tooling, and Observability

Project & Status

  • 0.1.0 Readiness Dashboard — LIVE
  • Return-to-root roadmap — landing the reshaped kernel as THE kernel
  • tk — Safety & Security Features (cross-arch reference, staged index)
  • Revera 0.1.0 — release manifest
  • Announcing Revera 0.1.0
Back to top
Copyright © 2026 VIACERTO LLC
Made with Sphinx and @pradyunsg's Furo