Kernel source code repository

Is https://github.com/libre-computer-project/libretech-linux the appropriate repository for your customized linux kernel if I want to build it myself and use a non Debian based distribution with it? I see 5.19 appears to be the master branch. Does that include everything I’d need? Are there board specific configuration files or is the defconfig sufficient for all of your products (I’ve got a le potato) Are any Mali binaries or source code available through you for using X acceleration or do I need to get them elsewhere?