Jeremy Soller
4462e8654d
Add EFI ISO
2018-04-12 21:24:07 -06:00
Jeremy Soller
52fead239f
Fix build
2018-03-20 20:46:20 -06:00
Jeremy Soller
7980218cd9
Update kernel
2018-03-11 11:39:01 -06:00
Andre Richter
49867f754c
Fix missing build directory
...
Currently, `build/bootloader` is the first make target being executed
during `make all`. However, after a clean checkout, the `build`
directory does not yet exist. Create it accordingly.
2017-09-28 10:51:30 +02:00
Jeremy Soller
b6fccc37ba
Copy bootloader to filesystem
2017-09-27 20:30:19 -06:00
Jeremy Soller
158eeb81b5
Add rule for making detached bootloader
2017-09-27 20:24:45 -06:00
Jeremy Soller
25ae3ad4e8
Do not include kernel in bootloader
2017-07-21 20:44:45 -06:00
Jeremy Soller
737b9c4c60
Update recipes
2017-05-11 21:19:31 -06:00
Jeremy Soller
c9950beec2
Convert to cookbook based build
2017-05-10 21:39:05 -06:00
Jeremy Soller
e3f3f27fbc
Modularise makefiles
2017-01-05 14:07:20 -07:00
