|
boot
|
build/boot/roms: don't create empty bin/ directory
|
2023-09-04 14:54:36 +01:00 |
|
command
|
move resources/scripts/ to script/
|
2023-08-27 17:19:36 +01:00 |
|
coreboot
|
merge config/ and resources/
|
2023-09-04 02:47:25 +01:00 |
|
grub
|
merge config/ and resources/
|
2023-09-04 02:47:25 +01:00 |
|
release
|
build/release/roms: simplify defcongic handling
|
2023-09-04 21:19:27 +01:00 |
|
rpi-pico
|
build/rpi-pico-serprog: better error handling
|
2023-09-03 17:46:59 +01:00 |
