New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove messy device.info
option
#152
Conversation
Instead of borrowing some of its system.build products, rely instead on a full system.build for the recovery.img. This allows us to better make use of the implicit declarativeness of the system configuration. At some point the recovery "system" will be moved out of that file and things will continue to work.
This is the first step in actually dropping all device information.
device.info
optiondevice.info
option
e61ac27
to
12913af
Compare
(and fix device_info.arch)
The last option will be cleaned up last.
The depthcharge build doesn't rely on the freeform option anymore.
We cannot use a "linuxPackagesFor" attrset due to older OEM kernels.
12913af
to
adc157f
Compare
device.info
optiondevice.info
option
I don't think it's strictly required, but it would be nice to have confirmation that it didn't break those devices I don't own.
It's not a no-op, but functionally, it should end up being the same. (Inputs change a bit, but not in a significant manner.) |
Seems to be working for me. I built a
I had to use an older nixpkgs since the latest one seems to have an issue with systemd while cross compiling on |
Last I checked, xiaomi-tissot wasn't working at all, and I haven't had the time to look into it yet unfortunately. Will have to check it out again sometime soon. |
bin/menuconfig: Fix breakage caused by #152
Rather, remove unused options, and then add proper options or use existing NixOS options.
This gives us working
boot.kernelParams
support for stage-1 builds. Configuration can now add and remove to the kernel parameters.This also reduces the risks of doing something wrong with the untyped mess of options that was present previously.