SeL4 will be ported to RISC-V!
Seems great, but I really like Mach (GNU HURD)
I might just join that!
w-why??
i dont like trannies only cute bois especially kitten bois uwu
i-im not a LGBT diversityfag if thats what u mean..
ded project, and also has no goals of formal verification for the kernel and stuff. We'll have to see how Genode progresses, but it seems like they're making more and faster progress on developing a microkernel system than GNU has in decades.
Yeah but you still fall into the first two categories. Your posts are generally better quality compared to this wasteland of a board, but please stop flaunting your pedophilia in all of them.
I like this thread
*giggles*
thanks! ^.^
i-i cant help it...
I like you!
So getting back on topic, says they got QtWebKit working on Genode?? Any details? like, is it a full-on native port, or would this be running virtualized Linux?
W-What's going on in here? Is this a new, kinder, gentler Zig Forums?
Your thread is garbage.
maybe ;)