sarnowski/lona
2
4
Fork 0
Code Issues Pull requests Releases Activity
Lona: LISP Machines Never Died. They Evolved. https://lona.systems
26 commits 3 branches 1 tag 17 MiB
  • Rust 94.1%
  • Python 3.9%
  • Makefile 1.7%
  • Dockerfile 0.2%
Find a file
Tobias Sarnowski d7dcb5b78d feat(vm): implement BEAM-style tagged words for term representation 
Replace the boxed Value enum with BEAM-style tagged Term words
for more efficient memory representation and alignment with
BEAM VM semantics. This implements the term representation
specification from docs/architecture/term-representation.md.

Key changes:
- New term module with primary/secondary tag system
- Immediate values for small integers, atoms, keywords, nil, booleans
- Boxed pointers for heap-allocated objects
- Realm-level symbol table for efficient interning
- Updated compiler, VM, intrinsics to use Term API
- Replaced single review agent with 7 specialized reviewers
2026-01-25 21:33:14 +01:00
.cargo feat(vm): add spec test framework and symbol interning refactor 2026-01-25 08:26:27 +01:00
.claude feat(vm): implement BEAM-style tagged words for term representation 2026-01-25 21:33:14 +01:00
.github/workflows docs: restructure Lonala specification with MkDocs 2026-01-03 14:49:04 +01:00
crates feat(vm): implement BEAM-style tagged words for term representation 2026-01-25 21:33:14 +01:00
docker chore: initial project structure for Lona 2026-01-02 18:14:53 +01:00
docs feat(vm): implement BEAM-style tagged words for term representation 2026-01-25 21:33:14 +01:00
lib/lona feat(vm): add pattern matching with match special form 2026-01-24 12:04:49 +01:00
scripts feat(vm): add spec test framework and symbol interning refactor 2026-01-25 08:26:27 +01:00
targets refactor: split into workspace with separate VM realm 2026-01-05 20:42:06 +01:00
tests feat(repl): add UART-based REPL for x86_64 and aarch64 2026-01-03 01:31:02 +01:00
tools/lona_dev_repl feat(repl): add UART-based REPL for x86_64 and aarch64 2026-01-03 01:31:02 +01:00
.dockerignore chore: initial project structure for Lona 2026-01-02 18:14:53 +01:00
.gitignore feat(vm): implement BEAM-style tagged words for term representation 2026-01-25 21:33:14 +01:00
.mcp.json feat(repl): add UART-based REPL for x86_64 and aarch64 2026-01-03 01:31:02 +01:00
Cargo.lock refactor: split into workspace with separate VM realm 2026-01-05 20:42:06 +01:00
Cargo.toml refactor: split into workspace with separate VM realm 2026-01-05 20:42:06 +01:00
CLAUDE.md feat(vm): implement BEAM-style tagged words for term representation 2026-01-25 21:33:14 +01:00
Makefile feat(vm): add spec test framework and symbol interning refactor 2026-01-25 08:26:27 +01:00
mkdocs.yaml docs(arch): add term representation and garbage collection specifications 2026-01-25 12:28:59 +01:00
README.md feat(repl): add UART-based REPL for x86_64 and aarch64 2026-01-03 01:31:02 +01:00
requirements.txt docs: restructure Lonala specification with MkDocs 2026-01-03 14:49:04 +01:00
rust-toolchain.toml feat(vm): add spec test framework and symbol interning refactor 2026-01-25 08:26:27 +01:00

README.md

Lona

A capability-secure operating system built on seL4, combining BEAM-style lightweight processes with a Clojure-inspired LISP dialect.

Quick Start

Prerequisites

  • Docker (for cross-compilation and OS image builds)
  • Make
  • Python 3.11+ (for MCP development tools)

Build OS Images

make x86_64         # Build x86_64 release image
make aarch64        # Build aarch64 release image

Images are output to dist/<arch>/ ready for deployment.

Run in QEMU

make run-x86_64     # Run x86_64 image in QEMU
make run-aarch64    # Run aarch64 image in QEMU

Verify

make verify         # Run all checks (format, clippy, test, integration-test)

Clean

make clean          # Remove all build artifacts

All Make Targets

Target Description
format Check code formatting
clippy Run lints
test Run tests with 60% coverage requirement
env Build Docker build environment
x86_64 Build x86_64 release image
aarch64 Build aarch64 release image
run-x86_64 Run x86_64 in QEMU
run-aarch64 Run aarch64 in QEMU
x86_64-test Build and run E2E tests for x86_64
aarch64-test Build and run E2E tests for aarch64
integration-test Run E2E tests for all architectures
verify Run all checks including integration tests
venv Create Python virtual environment for MCP tools
mcp Run MCP development REPL server
clean Remove Rust build cache

Documentation

See docs/ for detailed specifications:

  • concept.md - System architecture
  • lonala.md - Language specification
  • lonala-process.md - Process primitives
  • lonala-kernel.md - seL4 operations
  • lonala-io.md - Device driver primitives

License

Copyright 2026 Tobias Sarnowski

This project is licensed under the GNU General Public License v3.0 or later — see docs/license.md for details.