07-27-2019, 08:09 AM
(07-26-2019, 09:20 AM)aleksei Wrote:(07-26-2019, 07:21 AM)Thra11 Wrote: I plan to get NixOS working on it, then use it as my laptop
Any chance you'll try GuixSD as well? It's built on the same principles as Nix.
Possibly. I have tried Guix in the past. I liked it, but found it rather slow to evaluate things on my rather slow machine. Maybe I should revisit it. "Porting" for both OS's will likely consist mostly of similar steps:
- 1. Choosing appropriate source repos and / or patchsets to build u-boot and the linux kernel.
- 2. Checking how the RK3399 boots (Does it expect certain binaries at certain offsets, etc.)
- 3. Packaging any device-specific applications & services.
It looks like those working on the kernel have nice clean source trees (It's no fun trying to decipher the undocumented code 'dumps' that some hardware comes with), and the RockPro64 with the same CPU is already working with NixOS, albeit with an older kernel, so I'm optimistic it shouldn't be too hard to get working.