Skip to content

Commit 7d655d0

Browse files
Update justfile
1 parent 99d7938 commit 7d655d0

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

justfile

+4-2
Original file line numberDiff line numberDiff line change
@@ -93,7 +93,7 @@ check-fmt *FLAGS:
9393
{{ _cargo }} fmt --check --all {{ FLAGS }}
9494

9595
# Builds the kernel using the given config and runs it using QEMU
96-
run config *CARGO_ARGS="": (build config CARGO_ARGS) (_run config "target/k23/bootimg.bin")
96+
run config CARGO_ARGS="" *ARGS="": (build config CARGO_ARGS) (_run config "target/k23/bootimg.bin" ARGS)
9797

9898
# Builds the kernel using the given config
9999
build config *CARGO_ARGS="": && (_make_bootimg config "target/k23/payload" CARGO_ARGS)
@@ -143,7 +143,8 @@ _run config binary *ARGS:
143143
"qemu-system-riscv64" => "rv64"
144144
}
145145

146-
(run-external $runner
146+
print {{binary}}
147+
(^$runner
147148
"-kernel"
148149
{{binary}}
149150
"-machine" "virt"
@@ -155,6 +156,7 @@ _run config binary *ARGS:
155156
"-serial" "stdio"
156157
"-semihosting-config"
157158
"enable=on,target=native"
159+
{{ARGS}}
158160
#"-monitor"
159161
#"unix:qemu-monitor-socket,server,nowait"
160162
)

0 commit comments

Comments
 (0)