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

[[featureset]]
name = 'none'

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