config J_GPIO

hc

2024-08-12 0517ab8c70e05fc5877c0c6dae1a5f42a16dcf88

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