Karsten Merker e8ce8409cc [riscv64] Build a kernel image and udebs for riscv64.		2018-10-11 20:21:43 +02:00
..
defines	[riscv64] Build a kernel image and udebs for riscv64.	2018-10-11 20:21:43 +02:00