Repository navigation

issues: the kernel-is-small track's input steps and exits deliver to the owner of input over the input port, and step 10's exit checks the kernel's streams deleted - #904

Merged

Japabu merged 5 commits into

mainfrom

wt/toyos-records-input

Oct 13, 2026

Merged

issues: the kernel-is-small track's input steps and exits deliver to the owner of input over the input port, and step 10's exit checks the kernel's streams deleted#904
Japabu merged 5 commits into
mainfrom
wt/toyos-records-input

Commits on Oct 13, 2026
- issues: the kernel-is-small track's input steps deliver to the screen's owner over the `input` port
  
  Japabu
  and
  claude
  committed
  4068a0c
- Merge origin/main (6080e839d: #892, #903) into wt/toyos-records-input
  
  Japabu
  and
  claude
  committed
  1eaf1fb
- issues: the track's input exits name the `isa` claim and the owner's release, not a keyboard claim
  
  Japabu
  and
  claude
  committed
  8728cbf
- issues: step 10's exit checks the kernel's input streams deleted; the owner of input, not the screen's
  
  Japabu
  and
  claude
  committed
  a5c8e22
- issues: step 10 depends on stage 7 step 2 landing first
  
  Japabu
  and
  claude
  committed
  ee3d8d6