Sebastien Bourdeauducq 01c4478099 rpi: use default linux kernel		2019-09-11 17:37:20 +08:00
..
configuration.nix	rpi: use default linux kernel	2019-09-11 17:37:20 +08:00