mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-12-01 18:12:46 +00:00
ddcb48cc3d
Before, we were only building the headers, firmware, and bootloader. CONFIG could be overridden to use another pre-defined kernel, but there's no way to pass a custom kernel configuration yet. Tested booting the built kernel in a NetBSD VM. |
||
---|---|---|
.. | ||
bsd | ||
darwin | ||
linux | ||
solo5 | ||
windows |