kernel profiling support
Usage: enable the profiling
kernel Cargo feature, change -smp 4
to -smp 5
and -m 2048
to -m 8192
in qemu, enable the profiled
cookbook package, and change 00_base
to run profiled
. Once the recording is complete, when the system is shut down, run kprofiling /path/to/redoxfs/root/profiling.txt <(nm -CS /path/to/kernel) <options, _ works> <cpu ghz>
.
Edited by Jacob Lorentzon