3 commits

Author	SHA1	Message	Date
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