buildroot: add RVH based build file and configuration

Signed-off-by: Inochi Amaoto <inochiama@gmail.com>

Author: inochisa

buildroot/boards/naxriscv_sim/linux/linux_raw.config

@@ -17,6 +17,9 @@ CONFIG_FPU=y
 #else
 CONFIG_FPU=n
 #endif
+#ifdef RVH
+CONFIG_KVM=y
+#endif
 CONFIG_SMP=y
 CONFIG_STRICT_KERNEL_RWX=n
 CONFIG_EFI=n

buildroot/configs/rv64imafdch.sh

@@ -0,0 +1,11 @@
+#!/bin/bash
+
+FLAGS+=" -DISA=rv64imafdc"
+FLAGS+=" -DISA_STR=\"rv64imafdc\""
+FLAGS+=" -DXLEN=64"
+FLAGS+=" -DABI=lp64d"
+FLAGS+=" -DMMU_TYPE=\"riscv,sv39\""
+FLAGS+=" -DRV64"
+FLAGS+=" -DRVC=y"
+FLAGS+=" -DFPU=y"
+FLAGS+=" -DRVH=y"