Files
void-packages/srcpkgs/linux3.19
Juan RP 3d5dee9a4f linux3.19: update to 3.19.1.
Also disable CONFIG_DEVKMEM; looks like we don't really need it.
2015-03-07 20:43:16 +01:00
..
2015-03-07 20:43:16 +01:00
2015-03-07 20:43:16 +01:00