joerg b4ee0ddd0f Add CI20 install kernel and build that and the normal image as kernel set.		2015-04-06 14:18:08 +00:00
..
cdroms
instkernel	Add CI20 install kernel and build that and the normal image as kernel set.	2015-04-06 14:18:08 +00:00
Makefile