Hi,

I'm attempting to build the Linux kernel and u-boot for ARM64 target - eink tablet.

Unfotutnately the patches are not yet in the upstream so I had to tweak little bit in the gnu/packages/linux.scm and gnu/bootloader/bootloaders.scm files.

However, the kernel won't still build. Any ideas on how to fix that?

This is my first porting new embedded board in Guix and it's iteresting to learn more of what's going under the lid.

FIY my interest in this to have some libre eink reader as well as notepad available on the market.

Kind regards,
Petr