HelenOS: portable microkernel-based multiserver operating system

Re:HelenOS: portable microkernel-based multiserver operating... by iomotoko on Friday August 18, 2017 @11:34PM (#15051496)

Regarding microkernels:

[0] Minix 3: still around, great resource for learning, especially since there is a great book about it by Tanenbaum himself. Btw: it utilizes NetBSD's pkgsrc infrastructure, so quite a lot of applications should run

[1] RedoxOS: effort to create a unix-like microkernel OS using the Rust programming language, pretty interesting. Hope it win gain some traction, the idea itself is neat

[2] QNX: RIM/Blackberry's proprietary RTOS used in embedded systems (for example cars), also BlackberryOS is based on QNX

[3] GNU/Hurd: not sure how much software runs on it, the "most usable" form is probably trying to run the Debian GNU/Hurd distribution

[0] http://www.minix3.org/ https://www.amazon.com/Operating-Systems-Implementation-Pape...

[1] https://www.redox-os.org/

[2] https://en.wikipedia.org/wiki/QNX

[3] https://en.wikipedia.org/wiki/Debian_GNU/Hurd

(kind of keep track of various operating systems as a hobby, always interested what's out there for some reason)

[ Parent | on HN ]

Re:HelenOS: portable microkernel-based multiserver operating... by snvzz on Friday August 18, 2017 @11:59PM (#15051581)

Look into http://www.microkernel.info/

Note one of these doesn't belong (hurd), as unlike everything else, it is first gen and effectively dead.

[ Parent | on HN ]

Re:HelenOS: portable microkernel-based multiserver operating... by bogomipz on Saturday August 19, 2017 @10:23AM (#15053516)

Can you say why it is effectively dead? I see a recent-ish release:

http://www.gnu.org/software/hurd/news/2016-12-18-releases.ht...

[ Parent | on HN ]

Re:HelenOS: portable microkernel-based multiserver operating... by snvzz on Saturday August 19, 2017 @12:13PM (#15054139)

It has about 0 developers on any given time, with the occassional work being done. There's been no real (fundamental) progress on it for over a decade. The issues in the hurd critique paper haven't been addressed. The L4 port failed.

[ Parent | on HN ]

Re:HelenOS: portable microkernel-based multiserver operating... by throwaway7645 on Saturday August 19, 2017 @10:43AM (#15053630)

Without knowing much, GNU Hurd has been in development for ages, yet is pretty far behind everything else out there in terms of usability. I think it is still active (remember a recent HN post), but it's progress is seen as being slow.

[ Parent | on HN ]

Re:HelenOS: portable microkernel-based multiserver operating... by carussell on Saturday August 19, 2017 @05:08AM (#15052456)

> Minix 3: still around, great resource for learning, especially since there is a great book about it by Tanenbaum himself. Btw: it utilizes NetBSD's pkgsrc infrastructure, so quite a lot of applications should run

The current Minix source tree (after integrating NetBSD) doesn't resemble what's in the book much. Even Tanenbaum has commented that they perhaps went too far in pulling in so much of NetBSD.

[ Parent | on HN ]

Re:HelenOS: portable microkernel-based multiserver operating... by wolfgke on Saturday August 19, 2017 @08:35AM (#15053027)

> Even Tanenbaum has commented that they perhaps went too far in pulling in so much of NetBSD.

Simply refactor this stuff for Minix 4. :-)

[ Parent | on HN ]