diff options
author | Hesham Almatary <Hesham.Almatary@cl.cam.ac.uk> | 2018-05-14 16:56:21 +0100 |
---|---|---|
committer | Hesham Almatary <Hesham.Almatary@cl.cam.ac.uk> | 2018-07-12 10:58:55 +0100 |
commit | 2d85b4c38e216f8e9ceea595b87a999f2bf5d9df (patch) | |
tree | eee881c7a66c16c3e44f001df8068700e48445d9 /configure | |
parent | 537ae11ae506b6fa6c4dd9dc37c9cc818af84027 (diff) | |
download | riscv-pk-2d85b4c38e216f8e9ceea595b87a999f2bf5d9df.zip riscv-pk-2d85b4c38e216f8e9ceea595b87a999f2bf5d9df.tar.gz riscv-pk-2d85b4c38e216f8e9ceea595b87a999f2bf5d9df.tar.bz2 |
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
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -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 + |