LithosAnanke Hardware Abstraction Layer (HAL)

This directory contains HAL documentation for the LithosAnanke kernel branch.

HISTORICAL — L4Re/Fiasco.OC: L4Re references throughout this directory's docs describe a target that was a supported platform through mid-2026. L4Re support has since been removed as an active target — src/platform/l4re/time.c and related #ifdef __l4__ code are retained for reference but no longer wired into any build.

Document Overview

Document	Purpose
overview.md	HAL architecture and design principles
interfaces.md	HAL function specifications and contracts
lithosananke-integration.md	Kernel-specific HAL implementation
platform-implementations.md	How to implement HAL for a platform
migration-plan.md	Migration from hosted to kernel

Reading Order

overview.md — Understand why HAL exists
interfaces.md — Learn the contracts
lithosananke-integration.md — See kernel implementation
platform-implementations.md — Reference implementations

HAL Subsystems

hal_time.h       — Monotonic time, timers
hal_interrupt.h  — IRQ management, ISR registration
hal_memory.h     — Allocation, page mapping
hal_console.h    — Character I/O (UART, framebuffer)
hal_cpu.h        — CPU ID, relax/halt, SMP
hal_panic.h      — Fatal error handling

Current State (lithosananke branch)

The HAL is partially implemented in LithosAnanke:

Subsystem	Status	Location
Time	Implemented	`src/starkernel/arch/amd64/timer.c`
Interrupts	Implemented	`src/starkernel/arch/amd64/interrupts.c`
Memory	Implemented	`src/starkernel/memory/`
Console	Implemented	`src/starkernel/hal/console.c`
CPU	Partial	`src/starkernel/arch/amd64/apic.c`
Panic	Implemented	`src/starkernel/hal/hal.c`

Relationship to Hosted StarForth

The HAL enables the same VM code to run on:

Linux (hosted, POSIX)
LithosAnanke (freestanding, bare metal)
L4Re (microkernel, optional)

┌─────────────────────────────────────┐
│  StarForth VM + Physics Subsystems  │
│         (platform-agnostic)         │
├─────────────────────────────────────┤
│              HAL Layer              │
├──────────┬──────────┬───────────────┤
│  Linux   │  L4Re    │  LithosAnanke │
│ (POSIX)  │ (micro)  │   (kernel)    │
└──────────┴──────────┴───────────────┘

3.1 KiB Raw Permalink Blame History

LithosAnanke Hardware Abstraction Layer (HAL)

Document Overview

Reading Order

HAL Subsystems

Current State (lithosananke branch)

Relationship to Hosted StarForth

See Also

3.1 KiB

Raw Permalink Blame History