- Enable support for PCI (Peripheral Interconnect Bus), a type of bus
- used on some devices to allow the CPU to communicate with its
- peripherals.
+ Sandbox can be built on 32-bit and 64-bit hosts.
+ The default is to build on a 64-bit host and run
+ on a 64-bit host. If you want to run sandbox on
+ a 32-bit host, change it here.
+
+config HOST_32BIT
+ bool "32-bit host"
+ depends on !PHYS_64BIT
+
+config HOST_64BIT
+ bool "64-bit host"
+
+endchoice