# Revera

**A small real-time kernel with hardware-enforced isolation.**

*by VIACERTO LLC*

Revera is a portable real-time kernel for microcontrollers and embedded SoCs.
Alongside the usual RTOS services — preemptive scheduling, mutexes, semaphores,
condition variables, SMP and AMP — its distinguishing feature is a **memory fence
that the hardware enforces even against the kernel itself**: threads, and whole
scheduling *islands*, can be confined so that a fault or a compromise in one cannot
reach another's memory.

New here? Start with **[Getting started](guides/getting-started.md)** — from nothing
to a running kernel in about ten minutes. The **[API reference](reference/api.md)**
documents the stable 0.1.0 surface, and the **[readiness dashboard](readiness-1.0.0/dashboard.md)**
is the honest, live per-feature / per-architecture status.

```{toctree}
:maxdepth: 2
:caption: Getting Started

guides/getting-started
guides/examples
```

```{toctree}
:maxdepth: 2
:caption: Architecture
:glob:

architecture/*
architecture/isolation/*
```

```{toctree}
:maxdepth: 1
:caption: API Reference

reference/api
```

```{toctree}
:maxdepth: 2
:caption: Porting Guides

guides/arch-porting
guides/board-bringup
```

```{toctree}
:maxdepth: 1
:caption: Design Decisions (ADRs)
:glob:

decisions/*
```

```{toctree}
:maxdepth: 2
:caption: Evaluation
:glob:

evaluation/*
```

```{toctree}
:maxdepth: 1
:caption: Project & Status

readiness-1.0.0/dashboard
roadmap
safety-and-security
release-manifest
announcements/0.1.0
```