|
boot
|
merge config/ and resources/
|
2023-09-04 02:47:25 +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
|
merge config/ and resources/
|
2023-09-04 02:47:25 +01:00 |
|
rpi-pico
|
build/rpi-pico-serprog: better error handling
|
2023-09-03 17:46:59 +01:00 |
