I believe the kernel is based on L4, which has at least one bug-free implementat... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

aidenn0 on Feb 2, 2018 | parent | context | favorite | on: Google’s Fuchsia OS on the Pixelbook

I believe the kernel is based on L4, which has at least one bug-free implementation[1].

1: http://sel4.systems/

bitmapbrother on Feb 2, 2018 [–]

The Ziron microkernel is based on Little Kernel[1]. One of the main authors of Fuchsia was the developer of LK.

[1]https://github.com/littlekernel/lk/wiki/Introduction

aidenn0 on Feb 2, 2018 | [–]

Thanks for the correction

Consider applying for YC's W25 batch! Applications are open till Nov 12.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact