menu "Target Configuration"
-choice
+choice
prompt "Target Host OS"
default KITTEN
config MINIX
bool "MINIX 3"
help
- This enables the necesary options to compile Palacios with Kitten
+ This enables the necesary options to compile Palacios with Minix
+
+config NAUTILUS
+ bool "Nautilus"
+ select V3_DECODER
+ select FRAME_POINTER
+ help
+ This enables the necessary options to compile Palacios
+ for inclusion in the Nautilus kernel
+
+config NAUTILUS_KERN
+ depends on NAUTILUS
+ string "Nautilus Kernel Source directory"
+ default "../nautilus"
+ help
+ This is the directory containing the
+ Nautilus sources
+
config OTHER_OS
bool "Other OS"
a part ("the HRT") that supports Hybrid Run-Times,
for example Nautilus-based HRTs for parallel languages.
+choice
+ prompt "HVM Magic Upcall Mechanism"
+ default HVM_UPCALL_MAGIC_GPF
+
+config HVM_UPCALL_MAGIC_GPF
+ bool "GPF"
+ help
+ Upcall using a #GP with a well-known magic error code
+
+config HVM_UPCALL_MAGIC_PF
+ bool "Page Fault"
+ help
+ Upcall using a #PF with a well-known magic address and error code
+
+config HVM_UPCALL_MAGIC_SWINT
+ bool "Software interrupt"
+ help
+ Upcall using a software interrupt with a vector specified by
+ the VM's configuration
+endchoice
+
+
+
config DEBUG_HVM
depends on HVM
bool "Enable HVM debugging in Palacios"