config LINUX
bool "Linux Module"
select BUILT_IN_STDLIB
+ select BUILT_IN_STRDUP
select BUILT_IN_ATOI
select FILE
select V3_DECODER
Specifies the maximum number of hardware CPUs supported by the OS
For uniprocessor environments, set this to 1
-config FILE
- bool "Host Support for file operations"
- default n
- help
- Select this if your host OS supports file operatoins and you want Palacios to be able to use them.
-
-
-config CONSOLE
- bool "Host Support for VM console"
- default n
- help
- Select this if you want to forward a guest console interface to some host OS service
-
-config SOCKET
- bool "Host support for Network Sockets"
- default y
- help
- Select this if you host OS implements a socket API that is available to Palacios. This is required
- to support the internal networking features of Palacios.
-
-
-config PACKET
- bool "Host support for Raw Packet Transmision"
- depends on EXPERIMENTAL
- default n
- help
- Select this if you host OS implements a raw packet network API that is available to Palacios. This is required
- to support the internal networking features of Palacios.
-
endmenu
-
+source "palacios/src/interfaces/Kconfig"
+source "palacios/src/extensions/Kconfig"
config TELEMETRY
bool "Enable VMM telemetry support"
The purpose of this option is to allow features under development to be committed to the mainline
to more easily track changes and provide access to multiple developers
-config VNET
- depends on EXPERIMENTAL
- bool "Enable Vnet in Palacios"
- default n
- help
- Enable the Vnet in Palacios
-
-config DEBUG_VNET
- depends on EXPERIMENTAL && VNET
- bool "Enable Vnet Debug in Palacios"
- default n
- help
- Enable the Vnet debug in Palacios
-
-config LINUX_VIRTIO_VNET
- bool "Enable Virtio VNET interface"
- default n
- depends on PCI && EXPERIMENTAL && VNET
- help
- Enable the Virtio VNET interface
-
-config DEBUG_LINUX_VIRTIO_VNET
- bool "Virtio VNET Interface Debugging"
- default n
- depends on LINUX_VIRTIO_VNET && DEBUG_ON
- help
- Enable debugging for the VNET Virtio interface
-
endmenu
endmenu
+
menu "Time Management"
config VIRTUALIZE_TIME
bool "Enable Time virtualization"
endmenu
+
+
menu "Symbiotic Functions"
config SYMBIOTIC
endmenu
+menu "VNET"
+
+config VNET
+ bool "Enable Vnet in Palacios"
+ default n
+ help
+ Enable the Vnet in Palacios
+
+config DEBUG_VNET
+ depends on VNET
+ bool "Enable Vnet Debug in Palacios"
+ default n
+ help
+ Enable the Vnet debug in Palacios
+
+endmenu
menu "Debug configuration"
This turns on debugging for the Instruction Emulator
-config DEBUG_XED
- bool "XED"
+config DEBUG_DECODER
+ bool "Instruction Decoder"
default n
depends on DEBUG_ON
help
- This turns on debugging for the Xed Decoder
+ This turns on debugging for the selected instruction decoder
config DEBUG_HALT
bool "Halt"
help
This turns on debugging for the device manager
-
-
+config DEBUG_MEM_ERRORS
+ bool "Verbose memory errors"
+ default n
+ depends on DEBUG_ON
+ help
+ This turns on debugging for memory translations and lookups
endmenu