config_query_option RFB "Add RFB (vcn display) support in bochs?" y \
                          "--with-rfb"               \
                          "--without-rfb"  &&

config_query_option TERM "Add TERM (text mode display) support in bochs?" y \
                          "--with-term"               \
                          "--without-term"  &&

config_query_option SB16 "Add SB16 support in bochs?" y \
                          "--enable-sb16=linux"          \
                          "--disable-sb16"  &&

config_query_option SMP "Compile support for SMP Configurations?" n \
                          "--enable-smp" \
                          "--disable-smp"  &&

config_query_option IPS "Set the SHOW IPS debug flag on in bochs?" n \
                          "--enable-show-ips"               \
                          "--disable-show-ips" &&

config_query_option BOCHS_OPTS \
		    "Enable built-in debugger?" n \
		    --enable-debugger \
		    --disable-debugger
