metta-systems
/
vesper
1
1
Fork 0
Code Issues 2 Pull Requests Releases Wiki Activity

Update build/boot instructions

This commit is contained in:
Berkus Decker 2020-08-09 20:16:26 +03:00
parent 7ad3329978
commit 8bacc7cfb7
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
README.md
View File

@ -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. Use rustc nightly 2020-07-15 with cargo nightly of the same or later date.
Install tools: `cargo install just cargo-make`. 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: 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 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 ## Development flow
`mainline`, `develop` and `released` branches: `mainline`, `develop` and `released` branches: