Announcements for the Dresden Systems Meetup #osdev #firmware #lowlevel #virtualization -- Used to be the "Microkernel Valley" account.
Dresden, Germany
Joined February 2014
- Tweets311
- Following48
- Followers270
- Likes20
Systems Meetup Dresden retweeted
Sculpt OS 20.08 refines the user experience and embraces the Chromium-based Falkon web browser genode.org/documentation/art…
Systems Meetup Dresden retweeted
Watch Genode in all flavors on NXP i.MX 8M
youtu.be/bZCf-39OIwk
Systems Meetup Dresden retweeted
There is a new #syslog episode out where @flyfloh and I talk with @mdecky about HelenOS. A project that was started almost 20 years ago. Martin relates the story of how everything started and what philosophy drives the implementation. syslog.show/2020/09/15/episo…
Systems Meetup Dresden retweeted
Let's celebrate Genode 20.08: low-level GUI stack redesigned for stability ⭑ Falkon/Chromium web engine port ⭑ pluggable crypto/trust anchor for CBE block encryptor genode.org/documentation/rel…
Systems Meetup Dresden retweeted
What does it take to bring Sculpt OS to another ARM SoC? #genodians
genodians.org/nfeske/2020-04…
Systems Meetup Dresden retweeted
Alexander reports about his work on a Native VNC client #genodians
genodians.org/alex-ab/2020-0…
Systems Meetup Dresden retweeted
In our recent Syslog episode we talk with @reactorcontrol about the technical and political aspects of contact tracing apps. Check it out! syslog.show/2020/04/23/episo… #covid19 #corona #pepppt #d3pt
Systems Meetup Dresden retweeted
The #seL4 microkernel: Optimized for security and endorsed by the Linux Foundation tek.io/3eapia1 via @techrepublic
Systems Meetup Dresden retweeted
Learn about An Android VM for ARMv8
on #genodians
genodians.org/ssumpf/2020-04…
Systems Meetup Dresden retweeted
Sorry for the incorrect link, here’s the right one: sel4.systems/Foundation/Abou…
For completeness: announcement csiro.au/en/News/News-releas…
Blog microkerneldude.wordpress.co…
#seL4
The seL4® #Foundation is open for business: csiro.au/en/News/News-releas… home stage.sel4.systems/Foundatio….
My blog explains: microkerneldude.wordpress.co… #seL4
Systems Meetup Dresden retweeted
The seL4® #Foundation is open for business: csiro.au/en/News/News-releas… home stage.sel4.systems/Foundatio….
My blog explains: microkerneldude.wordpress.co… #seL4
Systems Meetup Dresden retweeted
We released a new version of our stripped-down #Ada runtime adding experimental support for a number of microcontrollers (ESP8266, nRF52832, STM32F051) and tagged types. github.com/Componolit/ada-ru… #AdaProgramming #EmbeddedProgramming #IoT
Systems Meetup Dresden retweeted
Compartmentalized window management in Sculpt OS
genodians.org/nfeske/2020-03…
Systems Meetup Dresden retweeted
.@QubesOS is an important part of how we secure the Let's Encrypt certificate authority. Thanks @internetsociety for generously supporting the work of the Qubes OS team. We're happy to see Internet leaders step up to support critical projects like this one.
Systems Meetup Dresden retweeted
Learn about CPU affinity with Sculpt OS from Alexander's #genodians article
genodians.org/alex-ab/2020-0…
Systems Meetup Dresden retweeted
Christian describes his first steps of Let's encrypt #genodians
genodians.org/chelmuth/2020-…
Systems Meetup Dresden retweeted
Genode Labs is featured in the current issue of the @ITEA_3 magazine
Check our latest @ITEA_3 magazine! Highlights: Country focus on 🇦🇹 Austria with FFG (@SchuhUlrich) | Spotlight on @GenodeLabs | Community talk with Herman Stegehuis @philips | @CyberSec_Expo | BENEFIT & ACCELERATE Successes | Modelling & Simulation SotA
👉🏽itea3.org/magazine/35/march-…
Systems Meetup Dresden retweeted
Goa updated to Genode 20.02 on #genodians
genodians.org/nfeske/2020-03…