composite icon indicating copy to clipboard operation
composite copied to clipboard

Published 20 hours ago • verified publisher icon gwsystems

Type check not properly inserted into boot code

Open gparmer opened this issue 4 years ago • 0 comments

When booting (in boot_comp.c), the BSS is allocated with kernel typed memory (which is bug #1), and then the retype machinery allows it to be mapped in despite it being an incorrect type for mapping into user level (bug #2).

FIXME.

gparmer avatar Jul 23 '20 20:07 gparmer