mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
7ebd3a086a
The NOVA kernel and Genode's roottask core are configured to be runnable with up to 64 CPUs (MAX_SUPPORTED_CPUS in core resp. NUM_CPU in kernel). On machines with more CPUs a reset occurred. The commit checks for this case, bootstraps the first 64 CPUs only, and sends all other CPUs to sleep. Also, the platform_info ROM size is increased to host information about more than 32 CPUs. Issue #4640