Fuchsia's kernel is written in C++. It's much more a microkernel design, and so ...

chc4 5 months ago | parent | context | favorite | on: Attacking Android Binder

Fuchsia's kernel is written in C++. It's much more a microkernel design, and so device drivers usually run as userspace processes and some of them are Rust, but the core kernel is not written in a memory safe language.