debian/config/riscv64/defines.toml


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

[[flavour]]
name = 'riscv64'
[flavour.defs]
is_default = true
[flavour.description]
hardware = '64-bit RISC-V platforms'
[flavour.packages]
installer = true

[[featureset]]
name = 'none'

[build]
enable_vdso = true
kernel_file = 'arch/riscv/boot/Image'
kernel_stem = 'vmlinux'