Samuel Dionne-Riel 5116490a22 google-walleye: Inits kernel at 4.4.195 ... The kernel build is technically the same as google-taimen, with some options switched around. An upcoming improvement will be to share the "wahoo" platform's kernel build with an option to switch between the two at build time, and further along the line, with modular kernels, sharing the same exact builds, but with the device-specifics as modules.		2019-11-18 21:18:24 -05:00
..
kernel	google-walleye: Inits kernel at 4.4.195	2019-11-18 21:18:24 -05:00
default.nix	google-walleye: init device	2019-11-18 21:18:24 -05:00