nixpkgs/pkgs/by-name/se/seabios
Anderson Torres dd122c58b1 seabios: passthru attribute firmware
So that the caller can pick the exact location of the resulting BIOS.
2024-10-02 20:03:35 -03:00
..
package.nix seabios: passthru attribute firmware 2024-10-02 20:03:35 -03:00