Repository navigation

toyos-microcode: Intel microcode update files validated and matched to a CPU, pure, and no input can panic it; the kernel step's design in its issue - #653

Merged

Japabu merged 11 commits into

mainfrom

Oct 2, 2026

Commits on Oct 1, 2026
- toyos-microcode: Intel update files validated and matched to a CPU, pure (WIP)
  
  Japabu
  and
  claude
  committed
  5a312ef
- Merge remote-tracking branch 'origin/main' into wt/toyos-ucode
  Japabu
  committed
  1085092
- issues: the kernel loads no CPU microcode, and where and how it will
  
  Japabu
  and
  claude
  committed
  328b8d9
- toyos-microcode: dwords and extended signatures are read as fixed-size arrays
  
  Japabu
  and
  claude
  committed
  38318d1
- Merge remote-tracking branch 'origin/main' into wt/toyos-ucode
  Japabu
  committed
  9626d03
- toyos-microcode: no input can panic the parser, Intel's own extended table is tested, and Data Size 0 is refused
  
  Japabu
  and
  claude
  committed
  76031de
- Merge remote-tracking branch 'origin/main' into wt/toyos-ucode
  Japabu
  committed
  eb67cb2
- toyos-microcode: bytes short of a header after the last update are tested refused; the T14's platform is read
  
  Japabu
  and
  claude
  committed
  3eec567
- toyos-microcode: the module doc says which assertions the lints refuse
  
  Japabu
  and
  claude
  committed
  e2cd276
Commits on Oct 2, 2026
- Merge remote-tracking branch 'origin/main' into wt/toyos-ucode
  
  Japabu
  and
  claude
  committed
  3723209
- toyos-microcode: the module doc keeps the invariant alone; the issue names what reds the licence gate
  
  Japabu
  and
  claude
  committed
  84d8abe