This account is dormant. Follow us on https://xitter.cf/t.co/3QNB1TRhGd
Dresden, Germany
Joined July 2012
- Tweets554
- Following69
- Followers653
- Likes168
Genode Labs retweeted
We are hiring Systems Software Engineers!
ch.indeed.com/Zeige-Job?jk=0…
#gapfruit #genode #security #criticalinfrastructure #microkernels #os #sel4
Genode Labs retweeted
Enforcing the pyramid of Open Source daniel.haxx.se/blog/2022/01/… - thoughts on how the pyramid works and why it is hard to "just fix".
Genode Labs retweeted
Our CTO @sidhussmann will be speaking about what we've been working on the last couple of years at #padsec.
If you are interested in trusted computing and practical defensive security, join the discussion at #padsec. I will be giving a talk about attested TEEs for transactional workloads.
hopin.com/events/padsec
#TEE #microkernel #systems #trustedcomputing #security #genode #seL4
Genode Labs retweeted
New #syslog episode is out! @flyfloh and @blitzclone talk with @reactorcontrol about scheduling in operating systems and what the trends are given the many cores we all have in our devices these days. syslog.show/2021/03/11/episo… #osdev #podcast
Genode Labs retweeted
Input from the Genode RISC OS console thanks to @GenodeLabs for the excellent help with getting terminal to accept input!
Genode Labs retweeted
[init -> riscos] Hello from 32bit RISC OS!
[init -> riscos] I got executed from RISC OS 32bit and got the secret message: Genode + RISC OS = TRUE!
Well :) Running Genode/aarch64/linux @GenodeLabs on @thepine64 Pinebook Pro
Genode Labs retweeted
Accepted developer rooms dlvr.it/RnB6Dz
Genode Labs retweeted
New episode of #syslog out! We talk with @faraoso about Formal Methods and make a great sweep across the topic. We touch on many cool projects and there's lots of functional programming love in this episode. Have fun!
Genode Labs retweeted
Um #TrustedElectronics geht es im nächsten digitalen Treffen unseres AK #SmartSystems & #IoT. Dabei sind @Infineon, @VDIVDE_IT, das Barkhausen Institut & @GenodeLabs ! Infos & Anmeldung hier 👉 silicon-saxony.de/nc/termine…
Genode Labs retweeted
New #Syslog episode is out! We talk with @jovanbulck about how #IntelSGX works, its successes and vulnerabilities. syslog.show/2020/06/23/episo… #osdev #foreshadow #sgxstep
Genode Labs retweeted
Two days until our first virtual meetup!
Our virtual meeting on June 16th happens at 19:00/7pm CEST. Sorry for the confusion. Thanks @mdecky! Original and correct announcement is here: freelists.org/post/ukvly-ann…
Genode Labs retweeted
Our awesome proof-engineering team has completed the functional correctness proof of #seL4 on the @RISC-V (RV64) architecture! You can now run the same verified OS kernel on all major architectures microkerneldude.wordpress.co…
Genode Labs retweeted
MadMode: Javascript on genode, genode on HP Envy 15 madmode.com/2020/genode-js-h… cc @GenodeLabs @moddabletech
Genode Labs retweeted
"The seL4 Microkernel – An Introduction” #seL4 Foundation whitepaper, download it from sel4.systems/About/
Genode Labs retweeted
Want!
"we’re collaborating with Genode Labs to ship Genode for Reform. "
--crowdsupply.com/mnt/reform/u…
Genode Labs retweeted
New #syslog episode out today! We talk with Michael Hohmuth from @kernkonzept about L4, L4Re and how everything started in Dresden. syslog.show/2020/05/09/episo…
Genode Labs retweeted
@GenodeLabs (@Flex4Apps project partner), tackles the challenge of #security focussing not on fighting against attacks but on increasing the resilience of systems. Co-founder Norman Feske tells us about the evolution and value of their open-source operating-system technology. 👇