From 8bacc7cfb7cf3757885a9a511d6f46cec2d838d0 Mon Sep 17 00:00:00 2001
From: Berkus Decker <berkus+github@metta.systems>
Date: Sun, 9 Aug 2020 20:16:26 +0300
Subject: [PATCH] Update build/boot instructions

---
 README.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/README.md b/README.md
index 3e518ea..13ed79d 100644
--- a/README.md
+++ b/README.md
@@ -33,6 +33,7 @@ Vesper has been influenced by the kernels in L4 family, notably seL4. Fawn and N
 Use rustc nightly 2020-07-15 with cargo nightly of the same or later date.
 
 Install tools: `cargo install just cargo-make`.
+Install qemu (at least version 4.1.1): `brew install qemu`.
 
 To build kernel and run it in QEMU emulator:
 
@@ -46,6 +47,13 @@ To build kernel for Raspberry Pi and copy it to SDCard mounted at `/Volumes/BOOT
 just device
 ```
 
+On the device boot SD card you'll need a configuration file instructing RasPi to launch in 64-bit mode.
+
+```
+# config.txt on RPi3
+arm_64bit=1
+```
+
 ## Development flow
 
 `mainline`, `develop` and `released` branches: