some minor fixes to kernel

This commit is contained in:
2023-07-17 22:35:29 -07:00
parent 7cc909d389
commit 4b75ea421d
6 changed files with 34 additions and 29 deletions

BIN
kernel

Binary file not shown.