Mastodawn

Hubu.de Feb 13, 2025

#news ⚡ Spontandemo in München gegen Instrumentalisierung von Anschlag: In München haben sich am Donnerstagabend mehrere Hundert Menschen zu einer kurzfristig anberaumten Protestveranstaltung versammelt, um... https://hubu.de/?p=266537 | #anschlag #instrumentalisierung #muen

Spontandemo in München gegen Instrumentalisierung von Anschlag - Hubu.de - News & FreeMail

In München haben sich am Donnerstagabend mehrere Hundert Menschen zu einer kurzfristig anberaumten Protestveranstaltung versammelt, um gegen die Instrumentalisierung des Anschlags vom Vormittag zu demonstrieren. Auf dem Odeonsplatz waren Plakate mit Sprüchen wie "Söder, du pietätsloses Arschloch" oder "AfD Rassist:innen Pack" und Antifa-Fahnen zu sehen. Am Vormittag war in München ein 24-jähriger Mann mit einem Kleinwagen in eine Verdi-Kundgebung gerast, mindestens 30 Menschen wurden dabei verletzt.

Hubu.de - News & FreeMail

Kensan Apr 9, 2024

We just announced a new Muen SK release v1.1.0! After more than two years since the last release, it was high time to get this out the door. You can read the announcement with more details regarding the changes here:

https://groups.google.com/g/muen-dev/c/jn9fb2A6X8o

#muen #oss #separationkernel #microkernel

[ANN] Muen version 1.1 released

Kensan Nov 13, 2021

Some news that was probably passed by the majority of folks: a few weeks ago we finally released version 1.0 of the Muen Separation Kernel (https://muen.sk). We’ve been constantly working on it for the past 8+ years and it was quite the journey to reach this milestone.

You can read the full announcement here:
https://groups.google.com/g/muen-dev/c/mzd5E6lLomw

#Muen #codelabs #Microkernel #SPARK #Ada #Opensource #Formal

Muen | SK for x86/64

Show thread

johnbessa Jul 31, 2021

@yarmo @Enot
OK, it is all coming back to me. #Muen needs to be written in layered #RIscV (5) assembler and #Rust . The LLVM is a player. A company just got like $5 million to with LLVM in the CPU context, but I am not sure of the details.