支持切换edp/mipi显示

hc

2024-07-16 5fbd6e2385615a225453562361c4bdab3b15fda1

1
2
3
4
5
#!/bin/sh
 
BOARD_DIR="$(dirname $0)"
 
cp -f ${BOARD_DIR}/grub.cfg ${BINARIES_DIR}/efi-part/EFI/BOOT/grub.cfg