[seL4] seL4 kernel memory footprint

[Sam Leffler via Devel]

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

-Sam
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems