Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Sign in / Register
Toggle navigation
Menu
Open sidebar
Panda
seL4test
Commits
b5ed53c9
Commit
b5ed53c9
authored
Jul 23, 2014
by
Peter Chubb
Browse files
Fix simulate-kzm target to match Debian-released qemu
parent
7f1809de
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
b5ed53c9
...
...
@@ -19,10 +19,12 @@ include tools/common/project.mk
# Some example qemu invocations
# note: this relies on qemu after version 2.0
simulate-kzm
:
qemu-arm
-nographic
-M
kzm
\
qemu-
system-
arm
-nographic
-M
kzm
\
-kernel
images/sel4test-driver-image-arm-imx31
# This relies on a helper script to build a bootable image
simulate-beagle
:
beagle_run_elf images/sel4test-driver-image-arm-omap3
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment