Hacker News new | ask | show | jobs
by snvzz 1103 days ago
Genode[0] does now support the pinephone.

Microkernel, multiserver, capabilities.

0. https://www.genode.org/