Tilck – A Tiny Linux-Compatible Kernel

Re:Tilck – A Tiny Linux-Compatible Kernel by infinite8s on Sunday January 08, 2023 @01:29PM (#34301669)

Does managarm run on raspberry pis?

[ Parent | on HN ]

Re:Tilck – A Tiny Linux-Compatible Kernel by MrBonkers 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.

[ Parent | on HN ]

Re:Tilck – A Tiny Linux-Compatible Kernel by snvzz on Tuesday January 10, 2023 @11:58PM (#34335169)

Has any work been done for RV64GC?

[ Parent | on HN ]