On 9 Jul 2022, at 05:15, Sam Leffler via Devel <devel@sel4.systems> wrote: > > I'm trying to figure out the physical memory used by the kernel. This is > for riscv if it matters.
Hi Sam, The RAM usage of the kernel is dominated by application specifics. The kernel, at boot time, allocates enough RAM to boot up and start the init task. That’s it’s own text segment, its own page tables, a small amount of global data, and a kernel stack per core, plus whatever’s needed for init. (No heap!) It’s a while we’ve done an audit, but should fit into 64KiB. This is normally dominated by what you need to run an actual system: for each user process you’ll need - page tables - TCB(s) - Cspace - other objects, such as endpoints, Notifications These are provided to the kernel by re-typing Untypeds, and as such the responsibility of usermode. Gernot _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
