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