jermar/microkernel.info

Community site for microkernel projects.

microkernel.info's Issues

Robigalia

Include project Robigalia ( https://robigalia.org/ )

Project: F9 - An efficient and secure microkernel built for ARM Cortex-M cores

F9 is an experimental microkernel used to construct flexible embedded systems inspired by famous L4 microkernel. The motivation of F9 microkernel is to deploy modern kernel techniques to support running real-time and time-sharing applications (for example, wireless communications) for ARM Cortex-M series microprocessors with efficiency (performance + power consumption) and security (memory protection + isolated execution) in mind.

add Redox

https://discourse.redox-os.org/t/redox-entry-on-microkernel-info/75

Inclusion of fuchsia/magenta to the project list

Not sure if this was not added due to some lack of permission.

Anyway, here's the link to the official Github mirror: https://github.com/fuchsia-mirror/magenta

Consider adding MH

MH (http://mhsys.org) while smaller in scale than other OSes listed, is an active microkernel project.

Please consider adding it to the list.

News section

There is no microkernel-specific website with the news involving this projects concentrated in one place…
Would be great if microkernel.info would create such a news page where all the news from any of this projects would be shown.
Something like a planet.microkernel.info (kind of a planet.KDE.org or a planet.openSUSE.org ripoff)

https support & HSTS

Consider enabling HTTPS and HTTP Strict Transport Security.

Participation Request/Interest in Planet Microkernel

Hi,

I build up a little planet-based site which you'll find under:
http://planet.os-news.de

The goal is to provide current information/news around the microkernel community (hence: Planet Microkernel)

So, are you interested in merging our to projects under one common domain and build the source for all microkernel related news and topics?

Best regards