debian/config/riscv64/defines


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

[base]
kernel-arch: riscv
featuresets:
 none

[build]
image-file: arch/riscv/boot/Image
vdso: true

[image]
install-stem: vmlinux

[riscv64_description]
hardware: 64-bit RISC-V platforms
hardware-long: 64-bit RISC-V platforms