anton/EMBARK
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

updated readme

Browse Source
This commit is contained in:
Anton Lydike 2021-08-21 21:27:11 +02:00
parent 314da51aaf
commit 4e7a6a20f9
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
README.md
View File

@ -12,3 +12,12 @@ I am using the [riscv-gnu-toolchain](https://github.com/riscv/riscv-gnu-toolchai
## The Makefile:
You can build the kernel using `make kernel`. Make sure the toolchain is in your path!
## Packaging a kernel image with user programs
You can use the `package.py` script to package a kernel and multiple user binaries into a single `img` file.
Debugging information is also emitted, it's a json formatted file called `<name>.img.dbg`.
To generate such an image, run `python3 package.py out/kernel <user bin 1> <usr bin 2> ... output/path/memory.img`. You can edit the script to change various variables. They somewhat well documented.