Issues - LithosAnanke - StarshipOS Gitea server

rajames/LithosAnanke

Labels Milestones New Issue

CI: a runner image with the build's tools already installed

by rajames was closed 2026-11-07 01:30:54 +00:00

CI and the gate 4 / 4

CI: no quick check on master after a merge

by rajames was closed 2026-11-06 23:25:09 +00:00

CI and the gate 0 / 2

Demo: the web terminal (ttyd) as a service board/pc

by rajames was closed 2026-11-06 21:44:39 +00:00

Public demo terminal 0 / 3

Demo: instant start -- sessions resume from a saved, booted machine board/pc

by rajames was closed 2026-11-06 21:44:39 +00:00

Public demo terminal 0 / 4

Demo: the session launcher -- one throwaway QEMU per visitor board/pc

by rajames was closed 2026-11-06 21:44:02 +00:00

Public demo terminal 0 / 4

[ruling] The public demo's console: a demo identity, or an emergency-console build?

by rajames was closed 2026-11-06 19:41:42 +00:00

Public demo terminal

Gitea issue forms and a PR template in the project's own form

by rajames was closed 2026-11-06 20:33:36 +00:00

CI and the gate

One repository: StarForth archived as a tag and deleted; this one renamed LithosAnanke

by rajames was closed 2026-11-06 19:06:17 +00:00

CI and the gate

The acceptance gate on master

by rajames was closed 2026-11-06 19:06:16 +00:00

CI and the gate

CI on the runner: every job failed -- ubuntu-latest is Debian 11

by rajames was closed 2026-11-06 19:06:13 +00:00

CI and the gate

The nightly snapshot and the release, to Nexus

by rajames was closed 2026-11-06 19:06:12 +00:00

CI and the gate

make -C docs/formal doxygen fails: newunicodechar, ASCII character requested area/docs

by rajames was closed 2026-11-06 19:06:10 +00:00

CI and the gate

make init: install the toolchain, syft and Isabelle2025-2

by rajames was closed 2026-11-06 19:06:08 +00:00

CI and the gate

1,003 logs and DoE CSVs committed as plain files, outside LFS

by rajames was closed 2026-11-06 19:06:07 +00:00

CI and the gate

Review of the v4 golden model; three bugs fixed (line input, refused stores) area/v4

by rajames was closed 2026-11-06 19:06:04 +00:00

CI and the gate

A USB keyboard; and a PC without PS/2 hung at boot area/kernel board/pc

by rajames was closed 2026-11-06 19:06:04 +00:00

Board bring-up

The USB controller found as real hardware has it; every controller, not the first area/kernel

by rajames was closed 2026-11-06 19:06:03 +00:00

Board bring-up

The Pi 5's native path: MMU and caches before any C, bounded mailbox, framebuffer from the devicetree area/kernel board/raspi5

by rajames was closed 2026-11-06 19:06:02 +00:00

Board bring-up

make write_stick: the PC stick onto a USB stick, checked and read back board/pc

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

The x86_64 stick

The amd64 image page-faults when a PC loads it above 2 GiB area/kernel board/pc

by rajames was closed 2026-11-06 19:05:56 +00:00

The x86_64 stick

1 2 3 4