Milan 28d8bc7251 seabios: 1.11.0 -> 1.13.0 (#79880) ... https://www.seabios.org/Releases#SeaBIOS_1.13.0		2020-04-07 20:11:38 +02:00
..
default.nix	seabios: 1.11.0 -> 1.13.0 (#79880)	2020-04-07 20:11:38 +02:00