|
bootloader
|
gnu: Add u-boot-pinebook-pro-rk3399.
|
2020-04-20 19:13:35 -07:00 |
|
build
|
vm: Remove obsolete procedures.
|
2020-05-05 16:13:55 +02:00 |
|
installer
|
installer: connman: Fix Wifi connection.
|
2020-04-19 11:46:21 +02:00 |
|
packages
|
gnu: Add pegtl.
|
2020-05-07 11:26:38 +02:00 |
|
system
|
vm: Remove obsolete procedures.
|
2020-05-05 16:13:55 +02:00 |
|
tests
|
image: Add a new API.
|
2020-05-05 16:13:53 +02:00 |
|
ci.scm
|
image: Add a new API.
|
2020-05-05 16:13:53 +02:00 |
|
image.scm
|
image: Add a new API.
|
2020-05-05 16:13:53 +02:00 |
|
installer.scm
|
installer: Fix backtrace display.
|
2020-04-18 17:42:02 +02:00 |
|
local.mk
|
gnu: Add ableton-link.
|
2020-05-06 22:49:56 +02:00 |
|
system.scm
|
system: vm: Move operating-system-uuid.
|
2020-05-05 16:08:32 +02:00 |