portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

README.md: Update README for serial output

Browse source
This commit is contained in:
Adrian Danis 2016-06-24 09:18:11 +10:00
parent 8082f7cb37
commit dbc9ae3f4c
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
README.md
View file

@ -68,7 +68,8 @@ build using `make`, follow these instructions:
arm | imx6 | armv7-a | cortex-a9
ia32 | pc99 | |
* For a debug build, append `DEBUG=y`.
* For a debug build, append `DEBUG=y` and to see serial output additionally
append `CONFIG_KERNEL_EXTRA_CPPFLAGS="-DCONFIG_PRINTING=y -DCONFIG_USER_STACK_TRACE_LENGTH=16"`.
See the seL4 website for more [comprehensive build instructions][5].