Building linux and u-boot for aarch64

[phodina]

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

0002-gnu-u-boot-Remove-input-labels.patch
Description: Text Data

0004-gnu-Provide-private-implementation-with-selection-of.patch
Description: Text Data

0003-gnu-Add-u-boot-pinenote.patch
Description: Text Data

0006-gnu-Add-install-pinenote-rk3568-u-boot-and-u-boot-pi.patch
Description: Text Data

0005-gnu-Add-u-boot-pinenote-rk3568.patch
Description: Text Data

0007-gnu-Add-image-for-pinenote.patch
Description: Text Data

0001-gnu-Add-linux-libre-arm64-pinenote.patch
Description: Text Data