@@ -66,7 +66,7 @@ _cross-build crate board='rpi4' linker_script='' features='':
6666# Build kernel (features: '' for hw, 'qemu' for emulation)
6767[group (" hw" )]
6868build board = ' rpi4' features = ' ': (_cross-build ' nucleus' board nucleus_link features) (_cross-build ' init_thread' board init_link features)
69- {{ objcopy }} --strip-all -O binary {{ kernel_elf }} {{ kernel_bin }}
69+ {{ objcopy }} --strip-all -O binary " {{ kernel_elf }} " " {{ kernel_bin }} "
7070 @ # TODO: print final binary size!
7171 @ echo " {{ ok_label}} kernel built for {{ board }}{{ if features != ' ' { ' [' + features + ' ]' } else { ' ' } }} "
7272
@@ -77,7 +77,7 @@ alias b := build
7777# Build chainboot bootloader (features: '' for hw, 'qemu' for emulation)
7878[group (" hw" )]
7979build-chainboot board = ' rpi4' features = ' ': (_cross-build ' chainboot' board chainboot_link features)
80- {{ objcopy }} --strip-all -O binary {{ chainboot_elf }} {{ chainboot_bin }}
80+ {{ objcopy }} --strip-all -O binary " {{ chainboot_elf }} " " {{ chainboot_bin }} "
8181 @ echo " {{ ok_label}} chainboot built for {{ board }}{{ if features != ' ' { ' [' + features + ' ]' } else { ' ' } }} "
8282
8383# === Chainofcommand (host tool) ===
@@ -94,32 +94,32 @@ alias coc := chainofcommand
9494# Build and run kernel in QEMU
9595[group (" emu" )]
9696qemu : (build ' rpi3' ' qemu' )
97- @ echo 🚜 Run QEMU {{ qemu_base_opts }} with {{ kernel_bin }}
98- @ echo 🚜 .. on {{ rpi3_dtb }}
97+ @ echo " 🚜 Run QEMU {{ qemu_base_opts }} with {{ kernel_bin }} "
98+ @ echo " 🚜 .. on {{ rpi3_dtb }} "
9999 @ rm -f qemu.log
100100 {{ qemu }} {{ qemu_base_opts }} -dtb " {{ rpi3_dtb }} " -kernel " {{ kernel_bin }} "
101101
102102# Build and run kernel in QEMU with GDB port
103103[group (" emu" )]
104104qemu-gdb : (build ' rpi3' ' qemu' )
105- @ echo 🚜 Run QEMU {{ qemu_base_opts }} {{ qemu_disasm_gdb }} with {{ kernel_bin }}
106- @ echo 🚜 .. on {{ rpi3_dtb }}
105+ @ echo " 🚜 Run QEMU {{ qemu_base_opts }} {{ qemu_disasm_gdb }} with {{ kernel_bin }} "
106+ @ echo " 🚜 .. on {{ rpi3_dtb }} "
107107 @ rm -f qemu.log
108108 {{ qemu }} {{ qemu_base_opts }} {{ qemu_disasm_gdb }} -dtb " {{ rpi3_dtb }} " -kernel " {{ kernel_bin }} "
109109
110110# Build and run chainboot in QEMU
111111[group (" emu" )]
112112cb-qemu : (build-chainboot ' rpi3' ' qemu' )
113- @ echo 🚜 Run QEMU {{ qemu_base_opts }} {{ qemu_disasm }} with {{ chainboot_bin }}
114- @ echo 🚜 .. on {{ rpi3_dtb }}
113+ @ echo " 🚜 Run QEMU {{ qemu_base_opts }} {{ qemu_disasm }} with {{ chainboot_bin }} "
114+ @ echo " 🚜 .. on {{ rpi3_dtb }} "
115115 @ rm -f qemu.log
116116 {{ qemu }} {{ qemu_base_opts }} {{ qemu_disasm }} -serial pty -dtb " {{ rpi3_dtb }} " -kernel " {{ chainboot_bin }} "
117117
118118# Build and run chainboot in QEMU with GDB port
119119[group (" emu" )]
120120cb-qemu-gdb : (build-chainboot ' rpi3' ' qemu' )
121- @ echo 🚜 Run QEMU {{ qemu_base_opts }} {{ qemu_disasm_gdb }} with {{ chainboot_bin }}
122- @ echo 🚜 .. on {{ rpi3_dtb }}
121+ @ echo " 🚜 Run QEMU {{ qemu_base_opts }} {{ qemu_disasm_gdb }} with {{ chainboot_bin }} "
122+ @ echo " 🚜 .. on {{ rpi3_dtb }} "
123123 @ rm -f qemu.log
124124 {{ qemu }} {{ qemu_base_opts }} {{ qemu_disasm_gdb }} -serial pty -dtb " {{ rpi3_dtb }} " -kernel " {{ chainboot_bin }} "
125125
@@ -167,37 +167,37 @@ _write-gdb-config:
167167 break init_thread_run
168168 break cap_invoke_handler
169169 EOF
170- @ echo 🖌️ Generated GDB config file {{ gdb_connect }}
170+ @ echo " 🖌️ Generated GDB config file {{ gdb_connect }} "
171171
172172# Build and run kernel in GDB (connect to openocd or QEMU on port 5555)
173173[group (" debug" )]
174174gdb : build _write-gdb-config
175- @ pipx run gdbgui -g " {{ gdb }} -x {{ gdb_connect }} {{ kernel_elf }} "
175+ @ pipx run gdbgui -g " {{ gdb }} -x ' {{ gdb_connect }} ' ' {{ kernel_elf }} ' "
176176
177177# Build and run chainboot in GDB
178178[group (" debug" )]
179179cb-gdb : build-chainboot _write-gdb-config
180- {{ gdb }} -x {{ gdb_connect }} {{ chainboot_elf }}
180+ {{ gdb }} -x " {{ gdb_connect }} " " {{ chainboot_elf }} "
181181
182182# === SD Card ===
183183
184184# Build and write kernel to SD Card
185185[group (" hw" )]
186186device : build
187- cp {{ kernel_bin }} {{ volume }} / kernel8.img
187+ cp " {{ kernel_bin }} " " {{ volume }} /kernel8.img"
188188 @ echo " {{ copy_label}} copied kernel to {{ volume }} /kernel8.img"
189189
190190# Build and write kernel to SD Card, then eject
191191[group (" hw" )]
192192device-eject : device
193- diskutil ejectAll {{ volume }}
193+ diskutil ejectAll " {{ volume }} "
194194
195195# Build and write chainboot to SD Card, then eject
196196[group (" hw" )]
197197cb-eject : build-chainboot
198- cp {{ chainboot_bin }} {{ volume }} / chain_boot_rpi4.img
198+ cp " {{ chainboot_bin }} " " {{ volume }} /chain_boot_rpi4.img"
199199 @ echo " {{ copy_label}} copied chainboot to {{ volume }} /chain_boot_rpi4.img"
200- diskutil ejectAll {{ volume }}
200+ diskutil ejectAll " {{ volume }} "
201201
202202# Build and boot via chainofcommand
203203[group (" hw" )]
@@ -283,14 +283,14 @@ _clippy-coc:
283283# Build and disassemble kernel
284284[group (" debug" )]
285285hopper : build
286- hopper --loader ELF --executable {{ kernel_elf }}
286+ hopper --loader ELF --executable " {{ kernel_elf }} "
287287
288288alias disasm := hopper
289289
290290# Build and print all symbols
291291[group (" maintenance" )]
292292nm : build
293- {{ nm }} {{ kernel_elf }} | sort -k 1 | rustfilt
293+ {{ nm }} " {{ kernel_elf }} " | sort -k 1 | rustfilt
294294
295295# Run `cargo expand` on kernel
296296[group (" maintenance" )]
0 commit comments