add dts config

hc

2023-12-06 08f87f769b595151be1afeff53e144f543faa614

1
2
// SPDX-License-Identifier: GPL-2.0
#include "../kernel/ipl_vmparm.c"