diff options
author | Richard Braun <rbraun@sceen.net> | 2018-04-14 23:59:47 +0200 |
---|---|---|
committer | Richard Braun <rbraun@sceen.net> | 2018-04-14 23:59:47 +0200 |
commit | 3640f94ee392b19de48360d2d026a7f581447049 (patch) | |
tree | c09c03689c7ae1025b2dc69d8aa7c327ed53eaeb /kern/mutex/mutex_plain.c | |
parent | 12c41b0aab1e590a9f96f13df9796eff6004d233 (diff) |
tools/qemu.sh: only pass x15 as the kernel argument to QEMU
This makes reading the command line easier in the kernel log.
Diffstat (limited to 'kern/mutex/mutex_plain.c')
0 files changed, 0 insertions, 0 deletions