initrd: use pkgs.kmod for modprobe instead of busybox #145
Conversation
Removes "Unknown symbol" errors while booting: [ 3.817788] bmp280_spi: Unknown symbol bmp280_regmap_config (err -2) [ 3.817844] bmp280_spi: Unknown symbol bmp280_common_probe (err -2) [ 3.823219] bmp280_spi: Unknown symbol bmp280_dev_pm_ops (err -2) [ 3.829247] bmp280_spi: Unknown symbol bmp180_regmap_config (err -2)
|
I haven't had the time to check yet, but here's my main concern:
We have an extremely tight budget in stage-1, where I'm already over the ~7MiB for the compressed stage-1 (excluding kernel).
As an added side-note, this is all assuming we may actually move the goalposts a bit for that stage-1, and make it also a stage-0, where it would kexec a bog standard NixOS stage-1+kernel. In that sense, I expect this will somewhat change some of the design decisions. (I'm now thinking, maybe we want to always switch_root into the NixOS stage-1 even if we don't kexec?) |
|
The increase is of ~68KiB. |
TODO
|
|
I can't confirm it solves the intended problem, but I can confirm it's not a regression, so it's good enough to merge. Thank you, even though it took this long. |
Removes "Unknown symbol" errors while booting:
This might come down to personal taste a little. I was having trouble getting the right modules loaded for usb rndis while working on the lg hammerhead. The actual resolution to that was #141, but I tried this as well after seeing the "Unknown symbol" errors printed. It does makes the boot log shorter and cleaner.