Raúl Porcel 5cf013faa8 Turns out s390 31bit kernel support is going to be dropped in 03/2015 so make s390 use a 64bit kernel instead		2014-10-03 10:04:43 +00:00
..
netboot	Turns out s390 31bit kernel support is going to be dropped in 03/2015 so make s390 use a 64bit kernel instead	2014-10-03 10:04:43 +00:00
stage1.spec	add autobuild support for s390/s390x	2014-02-24 02:49:49 -05:00
stage2.spec	add autobuild support for s390/s390x	2014-02-24 02:49:49 -05:00
stage3.spec	add autobuild support for s390/s390x	2014-02-24 02:49:49 -05:00