MrBonkers
Re:Tilck – A Tiny Linux-Compatible Kernel
on Monday January 09, 2023 @05:25AM (#34308792)
We’re working on support for raspberry pi 4 at this moment, and on emulated AArch64 targets we can boot into Weston, but our primary platform is x86_64.