|
configs
|
nongnu: Add linux-pinenote and linux-quartz64.
|
2023-01-14 09:10:10 +01:00 |
|
packages
|
nongnu: Add u-boot-rk3399-pinephone-pro.
|
2023-01-14 09:10:10 +01:00 |
|
services
|
*.scm: Use SPDX license identifiers.
|
2022-12-19 17:17:39 +01:00 |
|
system
|
nongnu: Add linux-pinenote and linux-quartz64.
|
2023-01-14 09:10:10 +01:00 |
|
ci.scm
|
*.scm: Use SPDX license identifiers.
|
2022-12-19 17:17:39 +01:00 |
