e5c6f9e8bc
Use mk-s390-cdboot to create a combined kernel+initrd and then build a boot.iso using it. Resolves: rhbz#1478448
2 lines
3 B
Promela
2 lines
3 B
Promela
ro
|