From 2d85b4c38e216f8e9ceea595b87a999f2bf5d9df Mon Sep 17 00:00:00 2001
From: Hesham Almatary <Hesham.Almatary@cl.cam.ac.uk>
Date: Mon, 14 May 2018 16:56:21 +0100
Subject: configure: Add --enable-boot-machine in BBL

If --enable-boot-machine is passed, BBL disables VM and runs the payload in machine mode.
This is useful for payloads (e.g. RTOSes or other OSes) that want to run
only in machine mode while still relying on bbl/pk for system calls and emulation
---
 configure | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'configure')

diff --git a/configure b/configure
index 1ab2f31..b001ba3 100755
--- a/configure
+++ b/configure
@@ -677,6 +677,7 @@ enable_vm
 enable_logo
 with_payload
 with_logo
+enable_boot_machine
 enable_fp_emulation
 '
       ac_precious_vars='build_alias
@@ -1325,6 +1326,7 @@ Optional Features:
                           Enable all optional subprojects
   --disable-vm            Disable virtual memory
   --enable-logo           Enable boot logo
+  --enable-boot-machine   Run payload in machine mode
   --disable-fp-emulation  Disable floating-point emulation
 
 Optional Packages:
@@ -4272,6 +4274,19 @@ else
 fi
 
 
+# Check whether --enable-boot-machine was given.
+if test "${enable_boot_machine+set}" = set; then :
+  enableval=$enable_boot_machine;
+fi
+
+if test "x$enable_boot_machine" == "xyes"; then :
+
+
+$as_echo "#define BBL_BOOT_MACHINE /**/" >>confdefs.h
+
+
+fi
+
 
 
 
-- 
cgit v1.1