diff --git a/Cargo.lock b/Cargo.lock
index e89c0f1..df3f804 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -1,5 +1,44 @@
 # This file is automatically @generated by Cargo.
 # It is not intended for manual editing.
+[[package]]
+name = "array-init"
+version = "0.0.4"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+dependencies = [
+ "nodrop 0.1.14 (registry+https://github.com/rust-lang/crates.io-index)",
+]
+
+[[package]]
+name = "bit_field"
+version = "0.9.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+
+[[package]]
+name = "bitflags"
+version = "1.2.1"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+
+[[package]]
+name = "cast"
+version = "0.2.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+dependencies = [
+ "rustc_version 0.2.3 (registry+https://github.com/rust-lang/crates.io-index)",
+]
+
+[[package]]
+name = "nodrop"
+version = "0.1.14"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+
+[[package]]
+name = "qemu-exit"
+version = "0.1.2"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+dependencies = [
+ "x86_64 0.7.7 (registry+https://github.com/rust-lang/crates.io-index)",
+]
+
 [[package]]
 name = "r0"
 version = "0.2.2"
@@ -10,14 +49,64 @@ name = "rlibc"
 version = "1.0.0"
 source = "registry+https://github.com/rust-lang/crates.io-index"
 
+[[package]]
+name = "rustc_version"
+version = "0.2.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+dependencies = [
+ "semver 0.9.0 (registry+https://github.com/rust-lang/crates.io-index)",
+]
+
+[[package]]
+name = "semver"
+version = "0.9.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+dependencies = [
+ "semver-parser 0.7.0 (registry+https://github.com/rust-lang/crates.io-index)",
+]
+
+[[package]]
+name = "semver-parser"
+version = "0.7.0"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+
+[[package]]
+name = "ux"
+version = "0.1.3"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+
 [[package]]
 name = "vesper"
 version = "0.0.1"
 dependencies = [
+ "qemu-exit 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)",
  "r0 0.2.2 (registry+https://github.com/rust-lang/crates.io-index)",
  "rlibc 1.0.0 (registry+https://github.com/rust-lang/crates.io-index)",
 ]
 
+[[package]]
+name = "x86_64"
+version = "0.7.7"
+source = "registry+https://github.com/rust-lang/crates.io-index"
+dependencies = [
+ "array-init 0.0.4 (registry+https://github.com/rust-lang/crates.io-index)",
+ "bit_field 0.9.0 (registry+https://github.com/rust-lang/crates.io-index)",
+ "bitflags 1.2.1 (registry+https://github.com/rust-lang/crates.io-index)",
+ "cast 0.2.3 (registry+https://github.com/rust-lang/crates.io-index)",
+ "ux 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)",
+]
+
 [metadata]
+"checksum array-init 0.0.4 (registry+https://github.com/rust-lang/crates.io-index)" = "23589ecb866b460d3a0f1278834750268c607e8e28a1b982c907219f3178cd72"
+"checksum bit_field 0.9.0 (registry+https://github.com/rust-lang/crates.io-index)" = "ed8765909f9009617974ab6b7d332625b320b33c326b1e9321382ef1999b5d56"
+"checksum bitflags 1.2.1 (registry+https://github.com/rust-lang/crates.io-index)" = "cf1de2fe8c75bc145a2f577add951f8134889b4795d47466a54a5c846d691693"
+"checksum cast 0.2.3 (registry+https://github.com/rust-lang/crates.io-index)" = "4b9434b9a5aa1450faa3f9cb14ea0e8c53bb5d2b3c1bfd1ab4fc03e9f33fbfb0"
+"checksum nodrop 0.1.14 (registry+https://github.com/rust-lang/crates.io-index)" = "72ef4a56884ca558e5ddb05a1d1e7e1bfd9a68d9ed024c21704cc98872dae1bb"
+"checksum qemu-exit 0.1.2 (registry+https://github.com/rust-lang/crates.io-index)" = "95533662c327a4b3be4203123662b7eca1c39d73d66020c52280e4ff0e9c9a41"
 "checksum r0 0.2.2 (registry+https://github.com/rust-lang/crates.io-index)" = "e2a38df5b15c8d5c7e8654189744d8e396bddc18ad48041a500ce52d6948941f"
 "checksum rlibc 1.0.0 (registry+https://github.com/rust-lang/crates.io-index)" = "fc874b127765f014d792f16763a81245ab80500e2ad921ed4ee9e82481ee08fe"
+"checksum rustc_version 0.2.3 (registry+https://github.com/rust-lang/crates.io-index)" = "138e3e0acb6c9fb258b19b67cb8abd63c00679d2851805ea151465464fe9030a"
+"checksum semver 0.9.0 (registry+https://github.com/rust-lang/crates.io-index)" = "1d7eb9ef2c18661902cc47e535f9bc51b78acd254da71d375c2f6720d9a40403"
+"checksum semver-parser 0.7.0 (registry+https://github.com/rust-lang/crates.io-index)" = "388a1df253eca08550bef6c72392cfe7c30914bf41df5269b68cbd6ff8f570a3"
+"checksum ux 0.1.3 (registry+https://github.com/rust-lang/crates.io-index)" = "88dfeb711b61ce620c0cb6fd9f8e3e678622f0c971da2a63c4b3e25e88ed012f"
+"checksum x86_64 0.7.7 (registry+https://github.com/rust-lang/crates.io-index)" = "1f27d9168654aee1b0c1b73746caeb4aa33248f8b8c8f6e100e697fcc2a794b2"
diff --git a/Justfile b/Justfile
index 06476c6..2589217 100644
--- a/Justfile
+++ b/Justfile
@@ -1,5 +1,10 @@
 qemu:
-    @echo No QEMU support
+    cargo make qemu
 
 device:
     cargo make sdcard
+
+clean:
+    cargo make clean
+    rm -f kernel8 kernel8.img
+
diff --git a/Makefile.toml b/Makefile.toml
index b881152..b290e72 100644
--- a/Makefile.toml
+++ b/Makefile.toml
@@ -13,12 +13,26 @@ CARGO_MAKE_EXTEND_WORKSPACE_MAKEFILE = "false"
 DEFAULT_TARGET = "aarch64-vesper-metta"
 
 DEVICE_FEATURES = "noserial"
+QEMU_FEATURES = "qemu"
 
 OBJCOPY = "cargo objcopy"
 OBJCOPY_PARAMS = "-- --strip-all -O binary"
 
 UTILS_CONTAINER = "andrerichter/raspi3-utils"
 DOCKER_CMD = "docker run -it --rm -v ${PWD}:/work -w /work -p 5900:5900"
+QEMU_CONTAINER_CMD = "qemu-system-aarch64"
+
+#
+# Could additionally use -nographic to disable GUI -- this shall be useful for automated tests.
+#
+# -d in_asm,unimp,int
+QEMU_OPTS = "-M raspi3 -d int -semihosting"
+QEMU_SERIAL = "-serial null -serial stdio"
+QEMU = "qemu-system-aarch64"
+
+# For gdb connection:
+# - if setting this, MUST have gdb attached for SYS_WRITE0 to work, otherwise QEMU will crash.
+QEMU_GDB_OPTS = "-gdb tcp::3333 -S"
 
 TARGET_JSON = "${CARGO_MAKE_WORKSPACE_WORKING_DIRECTORY}/targets/${DEFAULT_TARGET}.json"
 
@@ -43,6 +57,10 @@ run_task = "do-on-members"
 env = { "CARGO_MAKE_MEMBER_TASK" = "build" }
 run_task = "do-on-members"
 
+[tasks.qemu]
+env = { "CARGO_MAKE_MEMBER_TASK" = "qemu" }
+run_task = "do-on-members"
+
 [tasks.sdcard]
 env = { "CARGO_MAKE_MEMBER_TASK" = "sdcard" }
 run_task = "do-on-members"
diff --git a/nucleus/Cargo.toml b/nucleus/Cargo.toml
index 9caf908..fd83f67 100644
--- a/nucleus/Cargo.toml
+++ b/nucleus/Cargo.toml
@@ -15,6 +15,11 @@ edition = "2018"
 [badges]
 maintenance = { status = "experimental" }
 
+[features]
+# Build for running under QEMU with semihosting, so various halt/reboot options would for example quit QEMU instead.
+qemu = ["qemu-exit"]
+
 [dependencies]
 r0 = "0.2"
 rlibc = "1.0"
+qemu-exit = { version = "0.1", optional = true }
diff --git a/nucleus/Makefile.toml b/nucleus/Makefile.toml
index e59109e..c5eec4c 100644
--- a/nucleus/Makefile.toml
+++ b/nucleus/Makefile.toml
@@ -13,6 +13,17 @@ script = [
 env = { "TARGET_FEATURES" = "" }
 args = ["build", "-Zbuild-std=core,compiler_builtins,alloc", "--target=${TARGET_JSON}", "--release", "--features=${TARGET_FEATURES}"]
 
+[tasks.build-qemu]
+env = { "TARGET_FEATURES" = "${QEMU_FEATURES}" }
+command = "cargo"
+args = ["build", "-Zbuild-std=core,compiler_builtins,alloc", "--target=${TARGET_JSON}", "--release", "--features=${TARGET_FEATURES}"]
+
+[tasks.qemu]
+dependencies = ["build-qemu", "kernel-binary"]
+env = { "TARGET_FEATURES" = "${QEMU_FEATURES}" }
+command = "${QEMU}"
+args = ["@@split(QEMU_OPTS, )", "@@split(QEMU_SERIAL, )", "-dtb", "${CARGO_MAKE_WORKSPACE_WORKING_DIRECTORY}/targets/bcm2710-rpi-3-b-plus.dtb", "-kernel", "${KERNEL_BIN}"]
+
 [tasks.sdcard]
 dependencies = ["build", "kernel-binary"]
 command = "cp"