Commit graph

6 commits

Author SHA1 Message Date
Pablo Correa Gómez
cf69326222
device/*: rebuild all devices (MR 4551)
[ci:ignore-count]
2024-01-22 19:32:30 +01:00
Clayton Craft
1f8c3c240a
device-valve-jupiter: use systemd-boot (MR 4514)
[ci:skip-build] # already built in CI
2023-10-29 21:54:18 +00:00
Clayton Craft
cf8fc87a52
device-valve-jupiter: set deviceinfo_generate_systemd_boot (MR 4485)
Upstream boot-deploy (me, lol) removed generate_gummiboot,
and now generate_systemd_boot is used to configure both gummiboot and
systemd boot.

[ci:skip-build]: already built successfully in CI
2023-10-18 17:46:15 +02:00
Pablo Correa Gómez
ea93a6d07f
device/*: rebuild all devices to relocate deviceinfo (MR 4283)
[ci:ignore-count]
[ci:skip-build]: already built successfully in CI
2023-09-25 09:21:03 +02:00
Pablo Correa Gómez
4914067590
device/*: transform deviceinfo_modules_initfs into a file (MR 4169)
The file is automatically packed by devicepkg-dev utils

Relates #1836
2023-08-04 08:27:44 +02:00
Clayton Craft
34908d3fee
valve-jupiter: new device (MR 3877)
Note that only the "linux-edge" kernel is used, and it's likely that
this kernel is still missing some functionality. I'd like to avoid using
a downstream/forked kernel if at all possible...

I chose to use gummiboot for now, since it's really simple to configure.
This can be moved to a more "standard" EFI boot mechanism once pmOS
figures that out.

[ci:skip-build]: already built successfully in CI
2023-06-29 09:34:08 +02:00