Hi,
Please see our docs on configuring cmake projects [1]. You can change
KernelMaxNumNodes for the number of CPUs. There are some options to turn on and
off caches too, depending on the platform. If the option you want is not there
you will need to implement it yourself.
Cheers.
Anna.
Hi Chris,
This is expected. When the kernel is started by the bootloader, the processor
is in protected mode and can only use 32-bit instructions. One of the first
things the x86_64? kernel then does is to switch the processor to long mode and
enable 64-bit instructions. Because of this,
When building the x86 demo for both 32 and 64 bit builds, it looks like the
kernel is still a 32 bit elf file regardless of the build and only the
sel4test-driver file is what is either 32 bit or 64 bit depending on which
is selected. Is this normal or should the kernel also be 64 bit on the 64
Hello,
I'm porting sel4 to imx6q sabrelite as the trusted OS in trustzone. I
initialize the monitor mode directly using the functions
"install_monitor_hook()" and “switch_to_mon_mode()”. Is the sp in monitor mode
appropriate? After calling smc in SVC mode, it hangs(do nothing in
Hi, I want to change seL4 benchmark configuration in ninja build tool.
First, I want to change seL4's cache use.
Sencond, I want to change CPU core number.
How can I change these configuration?
___
Devel mailing list
Devel@sel4.systems
