Run single application

justfile

@@ -58,4 +58,4 @@ debug: build build-user
             -gdb tcp::1234 -S \
             
 gdb: 
-    @{{gdb}} --eval-command="file {{kernel-elf}}" --eval-command="target remote localhost:1234"
+    @{{gdb}} --eval-command="file {{kernel-elf}}" --eval-command="target remote localhost:1234"

tornado-user/justfile

@@ -7,8 +7,8 @@ user-bin := build-path + "tornado-user.bin"
 
 objcopy := "rust-objcopy --binary-architecture=riscv64"
 
-build: user
+build app: (elf app)
     @{{objcopy}} {{user-elf}} --strip-all -O binary {{user-bin}}
 
-user:
-    @cargo build --target={{target}} --{{mode}}
+elf app:
+    @cargo build --target {{target}} --{{mode}} --bin {{app}}

tornado-user/src/bin/00-hello-world.rs

@@ -0,0 +1,3 @@
+fn main() {
+    println!("Hello world!");
+}