Issues - LithosAnanke - StarshipOS Gitea server

rajames/LithosAnanke

Labels Milestones New Issue

SEO dashboard for the .com, on the .org (collected outside XWiki)

opened 2026-11-07 14:06:47 +00:00 by rajames

0 / 4

Demo: capacity -- how many visitors at once

opened 2026-11-06 19:21:56 +00:00 by rajames

Public demo terminal 0 / 2

Demo: Apache on the .com -- TLS and the websocket proxy

opened 2026-11-06 19:21:56 +00:00 by rajames

Public demo terminal 0 / 2

SER5: boot the new PC stick area/kernel board/pc

opened 2026-11-06 19:06:01 +00:00 by rajames

Board bring-up

Stick increment 7: the splash and progress bar area/kernel board/pc

opened 2026-11-06 19:05:58 +00:00 by rajames

The x86_64 stick

Stick increment 6: pull and replug, and the flush area/kernel board/pc

opened 2026-11-06 19:05:57 +00:00 by rajames

The x86_64 stick

Stick increments 5 and 5a: genesis on the stick, growth, the proxy Zuse and the real Zuse area/kernel board/pc

opened 2026-11-06 19:05:57 +00:00 by rajames

The x86_64 stick

MESH steps 8-9: the products are the five nodes, hosted and then bare metal area/v4

opened 2026-11-06 19:05:48 +00:00 by rajames

v4.0.0

KEY, EXPECT and QUERY read messages, not the console registers (MESH step 3) area/v4

opened 2026-11-06 19:05:47 +00:00 by rajames

v4.0.0

MACHINE steps 3-6: init.4th after POST; Hera streams the ROM; FORTH-79 out of the .f18; v3 out of the build area/v4

opened 2026-11-06 19:05:47 +00:00 by rajames

v4.0.0

Block-backed DoE persistence, for bare metal with no host to scrape the serial log area/capsules

opened 2026-11-06 19:05:22 +00:00 by rajames

Fleet, identity and the DoE

Multiuser/multitasking DoE: put the OS through its paces area/capsules

opened 2026-11-06 19:05:21 +00:00 by rajames

Fleet, identity and the DoE

Raise the DoE's N-REPS above 3 area/capsules

opened 2026-11-06 19:05:13 +00:00 by rajames

Fleet, identity and the DoE

Raspberry Pi 5: boot the nightly image on the board area/kernel board/raspi5

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

Board bring-up

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

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

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

1 2