ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-21 10:01:57 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

tool/run/README: fix wrong examples

Browse Source 
Fixes #1392.
This commit is contained in:
Josef Söntgen 2015-02-03 15:10:31 +01:00 committed by Christian Helmuth
parent 863b6fef80
commit 78e8e04b88
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tool/run/README
View File

@ -70,7 +70,7 @@ few common exemplary combinations:
Executing NOVA in Qemu: Executing NOVA in Qemu:
!RUN_OPT = --include boot_dir/nova \ !RUN_OPT = --include boot_dir/nova \
! --include exec/qemu --include log/qemu --include image/iso ! --include power_on/qemu --include log/qemu --include image/iso
Executing NOVA on a real x86 machine using AMT for resetting the target system Executing NOVA on a real x86 machine using AMT for resetting the target system
and for capturing the serial output while loading the files via TFTP: and for capturing the serial output while loading the files via TFTP:
@ -90,7 +90,7 @@ for output while loading the files via TFTP:
! --include power_on/amt --amt-host 10.23.42.13 --amt-password 'foo!' \ ! --include power_on/amt --amt-host 10.23.42.13 --amt-password 'foo!' \
! --include load/tftp --tftp-base-dir /var/lib/tftpboot \ ! --include load/tftp --tftp-base-dir /var/lib/tftpboot \
! --tftp-offset-dir /x86 \ ! --tftp-offset-dir /x86 \
! --include log/serial --serial-cmd 'picocom -b 115200 /dev/ttyUSB0' ! --include log/serial --log-serial-cmd 'picocom -b 115200 /dev/ttyUSB0'
Executing hw on a rpi using powerplug to reset the hardware, JTAG to load the Executing hw on a rpi using powerplug to reset the hardware, JTAG to load the
image and USB serial to capture the output: image and USB serial to capture the output: