From 5627342d9def017e484054263412ff1980845b45 Mon Sep 17 00:00:00 2001 From: Hesham Almatary Date: Thu, 27 Jun 2019 12:16:23 +0100 Subject: os-boot: Add a Hafnium image with initrd and Linux VMs This image includes: - BBL - Hafnium Hypervisor - initrd - Linux as a Primary VM - Linux as a secondary VM - Busybox - Hafnium.ko device driver It runs on Spike, and requires PMP, CLINT and HTIF --- ...v64-hafnium-054a7a-linux-4.20.0-gcc-8.3.0-2gb.bbl | Bin 0 -> 97701736 bytes 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100755 os-boot/rv64-hafnium-054a7a-linux-4.20.0-gcc-8.3.0-2gb.bbl diff --git a/os-boot/rv64-hafnium-054a7a-linux-4.20.0-gcc-8.3.0-2gb.bbl b/os-boot/rv64-hafnium-054a7a-linux-4.20.0-gcc-8.3.0-2gb.bbl new file mode 100755 index 0000000..6cab154 Binary files /dev/null and b/os-boot/rv64-hafnium-054a7a-linux-4.20.0-gcc-8.3.0-2gb.bbl differ -- cgit v1.1