I’ve been working on bringing up NixOS on Pocket Reform with imx8mq. I’ve got things booting on 6.9.7, but haven’t finished testing all of the hardware. This is all based on @lykso’s amazing work to bring up NixOS on the original reform, but based around the 6.9 kernel with some tweaks for Pocket with imx8mp.
The WIP merge request is here if anyone is interested in helping with this.
Hey any plan on maintaining your PR? I would love to try to port my NixOS config on my Pocket Refom if you end up writing some steps (specially for the bootloader part which scares me a bit given it’s custom)
I’ve actually been reworking and updating not only this PR, but also support for the original Reform as well, to use the latest MNT firmware & kernel repos - as well as adding keyboard & syscon firmware builds for the Pocket with IMX8MP.
I haven’t put any more work into the branch on @lykso’s project as they’ve not been using NixOS anymore AFAIK. I was planning up posting in this thread once I had everything tested, but the builds have been taking a while on the hardware I have available (an older rockchip SBC - which is still faster than cross-compiling on my main x86_64 workstation).
The very work-in-progress untested project is here.
I’m still running nixos on my original imx8mq reform but have not taken the time to bring in the new reform kernel/firmware changes in a while. I’ll try basing the next kernel upgrade on your changes when I find some time.
A tip to ease the kernel builds is to try https://nixbuild.net. A full kernel build on their aarc64 cluster costs less than 1€, and is significantly faster than cross compiling on my (admittedly old) x64 buildserver.
I’m also interested in running NixOS on the Pocket Reform, but with the RK3588.
I guess I’ll have to port it myself for now and make a dive into NixOS.
I hope I’ll be able to contribute something once my Pocket Reform arrives.
I’ve got 24.11 with the new 6.14 kernel + recent patches working on the original Reform2 (with imx8mq) and Pocket Reform (with imx8mp) including wifi & have also packaged up and tested the LPC driver successfully. Display & WiFi working on both as well.
I’m going to do some more testing & also do a full encrypted NVMe install and make sure that works OK, but looking good. The updated SD card images can be built by anyone brave who wants to test them out using the flake in this repo
Oh, I should also mention: I’ve left all the stuff in there which (should) be needed for RK3588, A311D, etc - I just don’t have those modules to be able hack on and test them out. So if anyone with those modules would like to use NixOS and would like some pointers/guidance on getting them added I’m happy to help. I’m here and on the #mnt-reform IRC channel.