Pablo Correa Gómez
cf69326222
device/*: rebuild all devices (MR 4551)
...
[ci:ignore-count]
2024-01-22 19:32:30 +01: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
Oliver Smith
18a08fff5d
treewide: adjust deviceinfo to new linting rules (MR 3454)
...
[ci:ignore-count]
2022-09-27 09:26:53 +02:00
Newbyte
b2c4544ef2
device-*: rootston.ini -> phoc.ini (MR 3054)
...
rootston.ini is an old, deprecated name.
[ci:ignore-count]
2022-04-03 12:00:06 +02:00
Oliver Smith
eb21ed5472
device/*/device-*: rebuild for new splash screens (MR 2222)
...
[ci:ignore-count]
2022-01-22 13:40:33 +01:00
Raffaele Tranquillini
5b8cf79134
device-xiaomi-gemini: fix deviceinfo (MR 2517)
...
This fixes some parameters needed for Xiaomi Mi 5 to boot on newer kernels, and adds some extra flags for GPU acceleration and USB labels.
Signed-off-by: Raffaele Tranquillini <raffaele.tranquillini@gmail.com>
[ci:skip-build]
2021-09-14 10:12:26 +02:00
Raffaele Tranquillini
76d9c1eda0
device-xiaomi-gemini: new device (MR 2367)
...
Signed-off-by: Raffaele Tranquillini <raffaele.tranquillini@gmail.com>
2021-07-21 12:13:37 +02:00
