Juan RP 7ce1a18568 linux4.10: update x86 configs.		2017-04-21 12:23:31 +02:00
..
files	linux4.10: update x86 configs.	2017-04-21 12:23:31 +02:00
patches	…
template	linux4.10: update to 4.10.12.	2017-04-21 11:59:31 +02:00