0x754C/guix-lpi4a

licheepi 4a guix system support

archived, new repo: https://github.com/0x754C/th1520-build

guix riscv64 support is borken, I haven’t time to fix it.

guix system lpi4a support

how to use

add this repo into your channels.scm or use:

guix system build -L${thisrepodir}

know bugs

1. if you use guile-fibers 1.3 in shepherd, shepherd will hang:

   wingo/fibers#89

   I fix this problem: lpi4a/packages/shepherd.scm that a dirty fix :(, please wait upstream fix it.

2. galcore kernel module will block shepherd shutdown:

   you must:

rmmod galcore
shutdown

build install u-boot:

uboot=$(guix build u-boot-lpi4a)/libexec/u-boot-with-spl.bin
sudo fastboot flash ram $uboot
sudo fastboot reboot
sudo fastboot flash uboot $uboot

install blobs:

wget https://mirror.iscas.ac.cn/revyos/extra/images/lpi4a/20230810/boot-20230810-222415.ext4
sudo fastboot flash boot boot-20230810-222415.ext4

build & install system image:

dd if=`guix system image lpi4a/system/lpi4a.scm -t raw-with-offset --target=riscv64-linux-gnu` bs=1M skip=1 of=rootfs.ext4
sudo fastboot flash root rootfs.ext4

bootup

reset your board, then guix system is bootup.