[seL4] seL4 kernel memory footprint

I'm trying to figure out the physical memory used by the kernel. This is
for riscv if it matters.


-Sam
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to