Uboot and Linux repos

Out of interest, are these the kernel and uboot repos for the Rock 5b ?

Linux :

u-boot :

Yes, these two are the u-boot/kernel repos.