Skip to content

Update and fix build system

Jimmy Brush requested to merge fix_kconfig into master
  • Updated sel4_tools to 5.1.x branch
  • Added tools/common/Kconfig to root Kconfig. Resolves build issues when configuring more than 1 CPUs
  • Updated configs
  • Added x64 qemu config for SMP

Merge request reports