tv 54300dfe75 ponte: enable krebs.pages		2022-12-09 17:08:31 +01:00
..
config.nix	ponte: enable krebs.pages	2022-12-09 17:08:31 +01:00
hw.nix	ponte.r: put kernels/initrd on root platform	2022-05-04 13:30:59 +02:00