A Tiny Linux-Compatible Kernel
Why do you think that https://github.com/edk2-porting/edk2-sdm845 is a good alternative to tilck
A Tiny Linux-Compatible Kernel
Why do you think that https://github.com/edk2-porting/edk2-sdm845 is a good alternative to tilck