Closed Ivan-Velickovic closed 1 week ago
Some variables do genuinely have to be global in libmicrokit and so we make sure they all have a prefix of microkit_* to avoid clashing with any user code.
microkit_*
The message registers for passive PD init are not used so we remove those lines.
Closes https://github.com/seL4/microkit/issues/140.
Some variables do genuinely have to be global in libmicrokit and so we make sure they all have a prefix of
microkit_*
to avoid clashing with any user code.The message registers for passive PD init are not used so we remove those lines.
Closes https://github.com/seL4/microkit/issues/140.