add .BoardConfig.mk package-file

hc

2023-05-31 43fd8d44e8182b691c8ee61d487cec02ca11afd2

1
2
/* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */
#include <asm-generic/kvm_para.h>