585c4b8c69
This patch adds support for booting base-hw kernel on qemu-arm virt machines. The arm_virt machine has 2GB of RAM, 2 Cortex A15 cores and uses GICv2 interrupt controller. The arm_64_virt machine also has 2GB of RAM, but has 4 Cortex A53 cores and uses GICv3. Both machines use PSCI to boot additional CPU cores. Fixes #3673
8 lines
194 B
Makefile
8 lines
194 B
Makefile
BOARD = virt_qemu
|
|
|
|
include $(GENODE_DIR)/repos/base-hw/recipes/src/base-hw_content.inc
|
|
|
|
content: enable_board_spec
|
|
enable_board_spec: etc/specs.conf
|
|
echo "SPECS += virt_qemu" >> etc/specs.conf
|