Johan Gunnarsson 90da2d4d21 build-debian: Install kernel after stage 2 ... This to be sure that the initrd generation is triggered properly.		2019-05-10 23:28:14 +02:00
..
build-boot-rpi	Move scripts into directories	2019-05-07 19:26:14 +02:00
build-boot-sunxi	Move scripts into directories	2019-05-07 19:26:14 +02:00
build-debian	build-debian: Install kernel after stage 2	2019-05-10 23:28:14 +02:00
build-image	Move scripts into directories	2019-05-07 19:26:14 +02:00
build-u_boot	Move scripts into directories	2019-05-07 19:26:14 +02:00