Joachim Fasting b148be7ff9 seabios: 1.7.5.2 -> 1.9.2 ... Also fixes the build		2016-06-28 01:56:33 +02:00
..
default.nix	seabios: 1.7.5.2 -> 1.9.2	2016-06-28 01:56:33 +02:00