Amazing Khadas, always amazes you!
The linux source code for Edge1 are all opensource and hosted on Khadas GitHub.
U-Boot for Edge1.
Linux Kernel for Edge1.
Fenix.