Re: Guix System on RockPro64

2022-05-04 Thread Tom Fitzhenry
On Thu, 5 May 2022, at 2:14 AM, Vagrant Cascadian wrote: > You could create a "generic" image that supports UEFI or standard u-boot > methods, and the user can bring-their-own UEFI implementation > (e.g. tianocore, recent versions of u-boot with EFI) or install u-boot > or barebox or whatever manua

Re: Guix System on RockPro64

2022-05-04 Thread Vagrant Cascadian
On 2022-05-04, Tom Fitzhenry wrote: > On 4/5/22 04:53, Tobias Platen wrote: >> I had a look at the guix page, there is a latest version image for the >> PineBook Pro, which uses the same SoC. > The SoC is the same, but the PineBook Pro and RockPro64 have different > u-boot bootloaders: u-boot-rock

Re: Guix System on RockPro64

2022-05-04 Thread Tom Fitzhenry
On 4/5/22 04:53, Tobias Platen wrote: I had a look at the guix page, there is a latest version image for the PineBook Pro, which uses the same SoC. The SoC is the same, but the PineBook Pro and RockPro64 have different u-boot bootloaders: u-boot-rockpro64-rk3399-bootloader and u-boot-pinebook-p

Guix System on RockPro64

2022-05-03 Thread Tobias Platen
Hello, I had a look at the guix page, there is a latest version image for the PineBook Pro, which uses the same SoC. Unfortunately I was unable to find the reciepe to build that image. The guix page is currently down, I will try again tomorrow. Today I was able to install guix on top of Debian whi