Jake Waksbaum
|
a217594cf3
|
Use flakes
This should let users build an SD image simply with `nix build` run from
the root of the repo, or even `nix build
github:samudeldr/wip-pinebook-pro'.
|
2020-08-23 21:57:54 -04:00 |
|
Samuel Dionne-Riel
|
f9785b285f
|
Prefer "external booting" u-boot by default.
Less rude for end-users expecting to be able to SD boot once flashed.
|
2020-01-21 22:37:42 -05:00 |
|
Samuel Dionne-Riel
|
4569bf8172
|
Split configuration in a way that can be imported
|
2020-01-06 21:24:31 -05:00 |
|
Samuel Dionne-Riel
|
6b9e96f638
|
Add modules for stage-1 display init
|
2020-01-06 19:50:35 -05:00 |
|
Samuel Dionne-Riel
|
0f47d72e7a
|
Burn u-boot to the image
|
2020-01-06 17:18:00 -05:00 |
|
Samuel Dionne-Riel
|
6c5991287e
|
Removes accidental cross
|
2020-01-06 16:10:15 -05:00 |
|
Samuel Dionne-Riel
|
77d4fc6688
|
Normalize names
|
2020-01-06 16:03:48 -05:00 |
|
Samuel Dionne-Riel
|
42e59d8105
|
Adds (incomplete) system image build
This includes the proper kernel, but does nothing more.
|
2020-01-06 15:22:39 -05:00 |
|