add .BoardConfig.mk package-file

hc

2023-05-31 43fd8d44e8182b691c8ee61d487cec02ca11afd2

1
2
3
4
/*
 * If the FPU is used inside the kernel,
 * kernel_fpu_end() will be defined here.
 */