seL4 kernel memory footprint
9 Jul
2022
9 Jul
'22
5:15 a.m.
I'm trying to figure out the physical memory used by the kernel. This is for riscv if it matters. -Sam
1350
Age (days ago)
1356
Last active (days ago)
13 comments
4 participants
participants (4)
-
Axel Heider -
Gernot Heiser -
Kent Mcleod -
Sam Leffler