Go to issue

Labels Milestones New Issue

38 Open 67 Closed

Label

Show archived labels Use alt + click/enter to exclude labels

All labels No label

area/capsules

area/docs

area/kernel

area/proofs

area/v3

area/v4

board/milkv

board/pc

board/raspi4

board/raspi5

board/zynq7020

kind

bug

kind

chore

kind

ci

kind

docs

kind

feature

priority

must

priority

nice

priority

should

status

backlog

status

blocked

status

in-progress

status

needs-acceptance

status

rejected

Milestone

All milestones No milestones

Open milestones

Board bring-up CI and the gate The x86_64 stick v4.0.0

Closed milestones

v2.0.0 Fleet, identity and the DoE v2.1.0 Phase 8 PKI

Project

All projects No project

Author

All users

Assignee

Assigned to nobody Assigned to anybody

rajames (Robert A. James (Captain Bob))

Sort

Newest Oldest Most recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

38 Open 67 Closed

Close

Label

Clear labels

area/capsules

area/docs

area/kernel

area/proofs

area/v3

area/v4

board/milkv

board/pc

board/raspi4

board/raspi5

board/zynq7020

kind

bug

kind

chore

kind

ci

kind

docs

kind

feature

priority

must

priority

nice

priority

should

status

backlog

status

blocked

status

in-progress

status

needs-acceptance

status

rejected

Milestone

No milestone

Open milestones

Board bring-up

CI and the gate

The x86_64 stick

v4.0.0

Closed milestones

v2.0.0

Fleet, identity and the DoE

v2.1.0

Phase 8 PKI

Projects

Clear projects

Assignee

Clear assignees

rajames

Revoke the access token claude-session-20261106

kind

chore

priority

should

status

backlog

#109

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

CI and the gate

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

kind

chore

priority

should

status

in-progress

#108

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

CI and the gate

SER5: boot the new PC stick area/kernelboard/pc

kind

feature

priority

must

status

in-progress

#96

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

Board bring-up

Stick increment 8: x86_64 acceptance moves to the stick boot board/pc

kind

ci

priority

should

status

backlog

#95

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

The x86_64 stick

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

kind

feature

priority

nice

status

backlog

#94

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/kernelboard/pc

kind

feature

priority

should

status

backlog

#93

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/kernelboard/pc

kind

feature

priority

must

status

in-progress

#92

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

kind

feature

priority

must

status

backlog

#85

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

kind

feature

priority

should

status

backlog

#84

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

kind

feature

priority

must

status

backlog

#83

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

kind

feature

priority

should

status

backlog

#60

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

kind

feature

priority

nice

status

backlog

#58

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

kind

feature

priority

nice

status

blocked

#51

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

Fleet, identity and the DoE

Several identity drives attached at once: only some are detected area/kernel

kind

bug

priority

should

status

backlog

#42

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

Board bring-up

A Raspberry Pi Imager repository for the nightly images board/raspi5

kind

ci

priority

nice

status

backlog

#29

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

Board bring-up

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

kind

feature

priority

should

status

backlog

#28

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

Board bring-up

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

kind

feature

priority

should

status

backlog

#27

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

Board bring-up

Raspberry Pi 4 port (BCM2711) area/kernelboard/raspi4

kind

feature

priority

should

status

backlog

#26

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

Board bring-up

LaTeX build output committed in docs/ area/docs

kind

chore

priority

nice

status

backlog

#25

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

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

kind

docs

priority

nice

status

backlog

#24

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