I want to port NixOS since I want to have a declarative configuration of my entire phone. I'm looking on GitHub and am trying to piece together what the BSP is like. I noticed this uses the Android bootloader. Is there a way to run u-boot or what's the Android bootloader situation on this device? Which kernel and device tree does this use for the FLX1s?