config_query_option  DOSBOX_CORE_INLINE                            \
                     "Enable inlined memory handling in CPU Core"  \
                     "n"                                           \
                     "--enable-core-inline"                        \
                     "--disable-core-inline"                       &&
if [[ ${SMGL_COMPAT_ARCHS[1]} == "x86_64" ]] ||
   [[ ${SMGL_COMPAT_ARCHS[1]} == "em64t"  ]] ||
   [[ ${SMGL_COMPAT_ARCHS[1]} == "ia32"   ]]; then
  config_query_option  DOSBOX_X86_DYNAMIC                          \
                     "Enable x86 dynamic cpu core"                 \
                     "y"                                           \
                     "--enable-dynamic-x86"                        \
                     "--disable-dynamic-x86"
fi                                                                 &&
config_query_option  DOSBOX_FPU                                    \
                     "Enable FPU support"                          \
                     "y"                                           \
                     "--enable-fpu"                                \
                     "--disable-fpu"
