Issues - LithosAnanke - StarshipOS Gitea server

rajames/LithosAnanke

Labels Milestones New Issue

Milk-V Mars: first boot on the board area/kernel board/milkv

opened 2026-11-06 16:01:24 +00:00 by rajames

Board bring-up

Raspberry Pi 4 port (BCM2711) area/kernel board/raspi4

opened 2026-11-06 16:01:24 +00:00 by rajames

Board bring-up

LaTeX build output committed in docs/ area/docs

opened 2026-11-06 16:01:24 +00:00 by rajames

v4/README.md: stale status lines area/docs

opened 2026-11-06 16:01:23 +00:00 by rajames

Strict warnings on boot.c, post.c and blocks.c area/v4

opened 2026-11-06 16:01:23 +00:00 by rajames

One implementation of the wire operations (boot.c and fabric.c) area/v4

opened 2026-11-06 16:01:23 +00:00 by rajames

An error raised to an unattached error register is lost area/v4

opened 2026-11-06 16:01:23 +00:00 by rajames

Check build parameters at compile time: V4_PORTS above 16 overflows the port-status bits area/v4

opened 2026-11-06 16:01:23 +00:00 by rajames

First nightly run: confirm the Nexus publish

opened 2026-11-06 16:01:23 +00:00 by rajames

CI and the gate

Run make -C v4 sanitize and hosted-check in CI area/v4

opened 2026-11-06 16:01:23 +00:00 by rajames

CI and the gate

Fuzz the text assembler, the ROM's assembler and the line input area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

Kernel block requests push onto the node's stack without the overflow check (D-16) area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

Blocks that survive a power-off on bare metal area/kernel

opened 2026-11-06 16:01:22 +00:00 by rajames

A byte address given to ! -- PAD 42 OVER ! (D-1) area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

Isabelle/HOL proofs for v4: opcode semantics, and the stack and fault model area/proofs area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

Kernel words for the v4 node: v3's C words served from a node (ENGINE.md step 4) area/kernel area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

Rule D-4 (the memory map) and D-6 (heat structures in hardware) area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

v4.0.0

Verilator co-simulation of one node, and a per-instruction state trace from the golden model area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

v4.0.0

Hosted mesh running the Tripod roles as nodes (ENGINE.md steps 6-7) area/v4

opened 2026-11-06 16:01:22 +00:00 by rajames

v4.0.0

Word-level ACL on the v4 path: the countdown and recheck at call (ENGINE.md step 3) area/kernel area/v4

opened 2026-11-06 16:01:21 +00:00 by rajames

v4.0.0

1 2 3