Hacker GitHub

← All repos

l4ka/pistachio

View on GitHub ↗ ★ 303 C++

L4Ka::Pistachio micro-kernel

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2013-08-20 · latest 2019-09-04

Mentions per year 4 mentions · busiest year 2018 (2)
20082026
AllStoriesComments NewestTopOldest
  1. The folks behind the Pistachio microkernel said they used C++: https://github.com/l4ka/pistachio I don't know if it has exceptions or an unusual style since I don't know C++. It is written by CompSci researchers which usually means a…
    comment by nickpsecurity · 2019-09-04 · in Teardown of a Failed Linux LTS Spectre Fix
  2. A bit surprising that he doesn't mention any other C++ based kernels such as https://github.com/l4ka/pistachio/ and most of the fuchsia code base except for the lk micro kernel. In my opinion fuchsia points towards where things are going…
    comment by orbifold · 2018-11-08 · in Is it time to rewrite the operating system in Rust? [slides]
  3. …bugs (As evidenced by the explosion of macros in the Linux code base). Check out L4Ka::Pistachio https://github.com/l4ka/pistachio
    comment by happyguy43 · 2018-02-02 · in Google’s Fuchsia OS on the Pixelbook
  4. Add the modern L4 microkernels to that list, e.g.: https://github.com/l4ka/pistachio
    comment by mihai_ionic · 2013-08-20 · in Nanomsg – MIT-licensed ZeroMQ alternative