Genode Labs @GenodeLabs
This account is dormant. Follow us on https://t.co/3QNB1TRhGd genode-labs.com Dresden, Germany Joined July 2012-
Tweets576
-
Followers662
-
Following73
-
Likes244
We have great news, #SculptOS 23.04 was published for the open-hardware MNT Reform2 laptop by @minut_e adding NVMe and Wifi support, System-update functionality, Preset scenarios #genode #genodians genodians.org/skalk/2023-06-…
#Genode 23.05 is here: updated #GCC 12.3 ⭑ initial #Rust cargo support in #Goa tool ⭑ C++20 by default ⭑ annual documentation update of Genode Foundations and Platforms books ⭑ many more improvements of components and drivers genode.org/documentation/…
With the upcoming 23.05 release, Benjamin Lamowski brings #Rust back to #Genode #genodians #goa #sculptos genodians.org/atopia/2023-05…
Alexander Böttcher makes proof-of-concept runtime management of frequency, power, and performance features of Intel and AMD CPUs accessible for #SculptOS 23.04 #genode #genodians genodians.org/alex-ab/2023-0…
What's new in Sculpt OS 23.04 #genode #genodians #SculptOS genodians.org/nfeske/2023-05…
Alexander Böttcher updated ready-to-use Firefox/Thunderbird VMs for #SculptOS that leverage the tiny Seoul VMM #genodians #genode genodians.org/alex-ab/2023-0…
Now on #Genodians: Sebastian Sumpf envisions @thepine64 #PinePhone app development for #Sculpt #genode genodians.org/ssumpf/2023-05…
Johannes Schlatow is taking control over DMA transactions on AMD/Xilinx #Zynq with #Genode hackster.io/johannes-schla…
#Genode 23.02 provides first system image of mobile Sculpt OS for #PinePhone ⭑ interactive graphical ARM VMs ⭑ optimized GPU and VFS performance ⭑ on-target system-update and rollback mechanism ⭑ support for Intel P&E cores and suspend/resume on x86 genode.org/documentation/…
Using AXI DMA on Genode by Johannes Schlatow in Genode, Digilent, AMD, and FPGAs hackster.io/johannes-schla…
We published our #Genode Road Map for 2023 genode.org/news/road-map-… Come across and learn what we plan for this year!
Genode boots to gui on Quartzpro64! @GenodeLabs @thepine64

Julian Stecklina @blitzclone
1K Followers 678 Following Permanently moved to: https://t.co/9cRCLZRmJ7
Gabriel Parmer (also ... @__gparmer
615 Followers 649 Following Systems researcher and builder. Composite hacker. Mastodon: @[email protected] OS videos: https://t.co/PDbiDFaN2y…
Jacek Γαλοwιcζ @jgalowicz
608 Followers 259 Following I help companies adopt Nix & NixOS at scale. C++ book author, giving university lectures about SW quality, https://t.co/qhypseHTP6 @[email protected]
Michael Grunditz @QtARM
231 Followers 69 Following StrongED in RISC OS and Vim/vi in UNIX. CED on Amigaish systems.
Paolo Fabio Zaino - �... @PaoloFabioZaino
367 Followers 887 Following Distinguished principal software engineer. I love #cybersecurity, #Linux, #BSD, #KaliLinux, #RetroComputing, #RetroCoding, #RISC_OS, #AmigaOS, #AtariST & #8bit
Klutea @Klutea386315
26 Followers 2K Following
Patricio Sainz @patriciosainzr
13K Followers 14K Following 26. Hijo de @derechouchile. Liberal de centroizquierda, hagiógrafo de tecnopols. @PSChile
Usefu @Usefu751600
27 Followers 615 Following
archerships - e/acc, ... @archerships
1K Followers 8K Following https://t.co/NYGrzbmDJj #openborders #monero #sexwork #cryonics #agorism #seasteading #libre #haveno #fsp #3dguns #pronatalist #2cb #lunarpunk #ai
Creeper Host @creeper_host
12 Followers 122 Following Hello, My name is Creeper Host, i do things sometimes please help
Linda Adler 🇳🇴�... @LindaAdler98
741 Followers 3K Following Clandestine #NAFO counterintelligence + PsyOp agent. 🥸 • #OSINT + #InfoSec in spare time. 🕵️♀️ • Tip: see my list: Good stuff 💪
That Phenomenal Youtu... @PhenomenalYTGuy
250 Followers 746 Following Multi-physics/cybersecurity/biomedical/sociopolitical researcher & legendary analysis commenter, inventor, gamer, enthusiast, day drinker, and companion. 😎
Sudoer777 @sudoer777
294 Followers 6K Following
a second chance searc... @S0UT4TR3D8NT
23 Followers 380 Following Messages from the present, past and future.
SasaKen @Sasaken_23
171 Followers 895 Following 高1/AIを用いた先進的なOSとUI開発/ My Website https://t.co/Us590zPKJM
Proudmuslim @ProudmuslimDev
404 Followers 221 Following ꩜ Software developer & chronically online schizo | SAIF - ??? | 19 ꩜ npub1cyszsghzdpyl9el987y9v53mz9yq2kh6xmjdhkkw6ehkf78m5fzs8n7zym
𝗵𝗼𝗿𝗶𝘇�... @horizon2k38
1K Followers 991 Following Rekka IGUMI; '23 MITOU JR Super Creator; '24 MITOU IT Super Creator; Keio Univ. #SFC25 (Class 11, 🇩🇪 A) B1; RG Virt/Arch; A9N Project; iM@S: @spectr0gram
Aldo Fathoni @realfathonix
90 Followers 3K Following Software developer, retrocomputing and Unix enthusiast, computer hobbyist in general.
Anner J. Bonilla 🇵... @annerajb
1K Followers 1K Following Founder https://t.co/05XmZrx6xz ✈️ nasasocial alumn,Formerly @hoyosintegrity 📱 @HPE 💻 Hardware Builder🔧 Plane Lover 🛩️ Husband 👰 Dog Dad 🐶 https://t.co/zo
Amos ♱ @Tr8z3R
199 Followers 7K Following 🕊️✠ Ave Iesus Christus Nazarenus Rex ✠🕊️ Superare Mundum ♱🏹🎸❤️🔥🙏🗡️🛡️🪔✠Ephesians 6:12-18 (ANT,GNV)✠
Jeff White @wjeffwhite
13 Followers 154 Following
Cache-Control @CacheControl
102 Followers 2K Following
hendi @hendi
402 Followers 571 Following
Joseph Ottaviano @JosephOttavian1
1 Followers 875 Following
Mohsen Mostafa Jokar @Mohsen_jokar
340 Followers 230 Following I'm a #Xen soldier with a #Redhat. I'm working on #Virtualization especially #Xen and #XCP_ng, #Linux_Administration and #Security. I'm an #author too.
Johnny Nunez @handshake4free
18 Followers 16 Following
S.Kracht @exclamatio
217 Followers 2K Following "Everything is interesting if you go into it deeply enough" ~ Feynman
Ahmed Mahdi Saleh @amstalks
186 Followers 2K Following Social thoughts with a technopreneurial scent, Middle Eastern poet without a state, transnational cyber-citizen who lives auf cloud am Main, und NULL!
kumavis @kumavis_
9K Followers 8K Following ࿂ p2p ࿂ ocaps ࿂ js langsec ࿂ ࿋ Endo ࿋ LavaMoat ࿋ founder MetaMask ࿋ ∴ he/him 日本語・中文 ∴ 👉 hiring js devs interested in security 👈 bsky: 🦋https://t.co/KLceIhYNiZ
Guido @guido_tech
868 Followers 4K Following Software developer, project manager, consultant and online marketing expert. Passionate about technology, always learning and exploring new opportunities.
WPP @bowu97185447
9 Followers 218 Following
toridi_crb @toridi_crb
65 Followers 1K Following
Martin Nyx Brain @ciphernyx
838 Followers 481 Following Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
Deedend @Deedend
67 Followers 89 Following Online freedom and privacy passionate. Microsoft is rubbish
Costava @costavadev
28 Followers 160 Following
serapath【ツ】☮(... @serapath
1K Followers 3K Following 🌈 @playproject_io 🧙🏽 @wizardamigos 🌱 @datdotorg 🔮 @dat_ecosystem 🦩 npub18y99ww94dkscfzwvvuk60sn9fyzqj66kpjj7cpvplp 🦣 @[email protected]
AIQ @AIQPMC
27 Followers 788 Following
joao chagas @rafaaviator
279 Followers 5K Following
Adrián Arroyo Calle @aarroyoca
551 Followers 1K Following Software conspiracist | Un tímido muy echado para adelante | Mastodon: @[email protected]
Sebastian Jester @cyberjestr
34 Followers 355 Following Head of Secure Hardware and Supply Chains at @CybAgBund by day. Tweeting in a private capacity by night (or whenever). @[email protected]
lapnect @lapnect
33 Followers 974 Following
Markku Ahvenjärvi @elmankku
11 Followers 302 Following Tech(lead|geek). I like books and building things - mostly with SW.
John Thilén @JohnThilen
100 Followers 978 Following Improving security and efficiency at a quality-focused innovative company. Enjoying complexity.fatfishy @fatfishy
58 Followers 507 Following
Julian Stecklina @blitzclone
1K Followers 678 Following Permanently moved to: https://t.co/9cRCLZRmJ7
AdaCore | Ada/C/C++ t... @AdaCoreCompany
2K Followers 458 Following AdaCore helps people build safe, secure and reliable software.
Framework @FrameworkPuter
95K Followers 198 Following Remaking consumer electronics to respect people and the planet. 💻🪛 For support visit https://t.co/OcUxJ6ebU3
Michael Grunditz @QtARM
231 Followers 69 Following StrongED in RISC OS and Vim/vi in UNIX. CED on Amigaish systems.
ipv6buzz @ipv6buzz
1K Followers 46 Following The @packetpushers podcast for building your knowledge, confidence & expertise to deploy IPv6 in your organization. Hosts: @ehorley @forwardingplane @ipv6tom
seL4 @seL4Foundation
656 Followers 5 Following seL4 is the world's first general-purpose operating system kernel with a proof of implementation correctness, now on Arm, x86 and RISC-V, open source, ...
Udo Steinberg @udosteinberg
61 Followers 92 Following
PINE64 EU @pine64eu
2K Followers 16 Following We sell #PINE64 devices in the EU Mastodon: https://t.co/rVGVK6huzV Telegram news: https://t.co/HLiCRi6k5J
Open Source Firmware ... @osfc_io
3K Followers 191 Following Change the way of firmware development, collaborate with others and share knowledge #OSFC2025
daniel:// stenberg:// @bagder
59K Followers 538 Following Typos and segfaults. I write curl. On team @wolfSSL. I don't know anything. @[email protected] My weekly email: https://t.co/9UYYYMLWaw
Cyberagentur @CybAgBund
957 Followers 258 Following Der Account liegt still Agentur für Innovation in der Cybersicherheit GmbH kontakt: [email protected] | Impressum: https://t.co/03Xrzz1ngO
MUSAIK Dresden @musaikDD
213 Followers 240 Following Musik. Integration. Gemeinschaft. Ausdruck. Ein soziales Musikprojekt für Kinder und Jugendliche in Dresden.
ADFC Dresden @ADFC_Dresden
3K Followers 173 Following Unterwegs für aktive Mobilität in Dresden seit 1987. https://t.co/QC9HlftOPE
Verkehrswende Dresden @VerkehrswendeDD
1K Followers 645 Following Keinen Bock mehr auf Lärm, Dreck, Feinstaub, Klimawandel? Wir auch nicht. Verkehrswende selber machen! 🚲🚋🚶♀️ Auf Mastodon: @[email protected]
DVB AG @DVBAG
20K Followers 51 Following Willkommen bei der Dresdner Verkehrsbetriebe AG. Wir bewegen Dresden. Erreichbar: Mo – Fr: 7 bis 22 Uhr WE + Feiertag: 10 bis 17:30 Uhr
PINE64 @thepine64
42K Followers 273 Following A community driven project offering Arm and RISC-V devices to FOSS enthusiasts worldwide. News Blog: https://t.co/GRYJQy7O0S Telegram News Channel: https://t.c
Silicon Saxony @Silicon_Saxony
2K Followers 823 Following Europe's biggest semiconductor/ICT cluster + Digital Hub. Tweets from the cluster manager (@F_Boesenberg) and others in deu/eng
Smart Systems Hub @smartsystemshub
781 Followers 729 Following Hardware, Software and Connectivity from Saxony - enabling IoT
Free Software Foundat... @fsfe
25K Followers 0 Following Free Software Foundation Europe is a charity that empowers users to control technology. Follow us in the Fediverse! @[email protected]
gapfruit @gapfruit
39 Followers 0 Following The Next Generation of Operating Systems with Capability-Based Security
PHYTEC Messtechnik Gm... @PHYTEC_Gmbh
515 Followers 815 Following PHYTEC develops and produces embedded components for global use in industrial series products.
OUTPUT.DD - Die Proje... @OUTPUTDD
390 Followers 45 Following Die Projektschau der Fakultät Informatik, bei der jährlich die Forschungsergebnisse von Studenten & Mitarbeitern der breiten Öffentlichkeit präsentiert werden.
Chrissi Cool @chrissicool
100 Followers 170 Following
Florian @flyfloh
73 Followers 125 Following
Platform Security Sum... @platformsec
982 Followers 4K Following Conference on composable software supply chain integrity and hardware-assisted platform security, with OpenEmbedded, OpenXT and other ecosystems
MNT Research GmbH @minut_e
10K Followers 2K Following Open-source and retro hardware. https://t.co/1ygLPhnX5K | https://t.co/ysUih8XBDr | MNT Reform, Pocket Reform, Linux, ARM, RISC-V, FPGA, Amiga. https://t.co/abQKeDBr81
Purism @Puri_sm
22K Followers 931 Following Building technology with #security, #privacy, #freedom for a society that respects people. Contact support via e-mail, not Twitter: https://t.co/F5EHDHPNjP
Cog @cogsystems
471 Followers 433 Following We Secure IoT. We build and enable the world’s most robust and secure connected devices. Moving to modularity with security, trustworthiness, and adaptability.
Anna Lyons @pingerino
232 Followers 239 Following seL4 kernel hacker & engineering magician. Don't get me wrong, I LIKE code review.
John Hayes @johnfreehayes
4K Followers 293 Following Former $PSTG 📈, Founder/CEO @GhostAutonomy 🪦, Founder Sensei 🐣
Heiko Weckbrodt @OigerNews
970 Followers 752 Following Bj. 70 an FU Berlin Geschichte und Publizistik studiert war lange DNN-Redakteur nun Journalist bei https://t.co/SCUDOW9PXV Autor des Buchs "Innovationspolitik in der DDR"
Säntis Systems Summi... @systemssummit
46 Followers 1 Following The Säntis System Summit 🏔️🚃🖥️ Hosted /w @56kcloud and @OptimyzeC @justincormack @grealish Reviving the Docker Distributed Summit!
Alex @alexab97002530
49 Followers 84 Following
MirageOS @OpenMirage
1K Followers 31 Following I'm a unikernel operating system written in OCaml. Logo: a Sand Cat (via @mindypreston) Pic credit: https://t.co/pdMD6mQf6a; star me at https://t.co/Ym2EBR4A7r
Allianz für Cyber-Si... @CyberAllianz
11K Followers 156 Following Eine Initiative des BSI für den Dialog mit der Wirtschaft. Impressum: https://t.co/Z5MXkDOdn4 | Datenschutz: https://t.co/7mkcViO5zo
Yannick Moy @yannick_moy
51 Followers 2 Following
JK🇪🇺🌻🇺�... @JK70523
80 Followers 110 Following Working @AdaCoreCompany, building software in #Adalang and #SPARK https://t.co/uTUnS52uou
Cyberus Technology @CyberusTech
608 Followers 42 Following This is the official Twitter account of Cyberus Technology GmbH. Impressum: https://t.co/nSiCLtPNpS
Qubes OS @QubesOS
28K Followers 0 Following A reasonably secure operating system for personal computers.
Andrea Barisani @AndreaBarisani
6K Followers 1K Following hacker | tamagopher | https://t.co/3S3EARrfoc
Adrian Rueegsegger @Kensan42
752 Followers 319 Following Disciple of Tsundoku 📚, 🇨🇭🇯🇵, High Assurance Software, Muen Separation Kernel, Ada/SPARK, @[email protected]
Martin Děcký @mdecky
419 Followers 371 Following computer science researcher, co-author of the HelenOS (@HelenOSorg) microkernel multiserver OS, passionate programmer, F/OSS advocate, IT specialist, feminist
RISC-V International @risc_v
32K Followers 490 Following RISC-V International is the non-profit home of the open standard RISC-V Instruction Set Architecture (ISA), related specifications, and stakeholder community.
lowRISC @lowRISC
7K Followers 125 Following lowRISC® is a not-for-profit engineering company that creates and maintains commercial-grade open silicon designs through its collaborative Silicon Commons
SourceForge SF.net Op... @sfnet_ops
9K Followers 5 Following New site status location: https://t.co/3VIvmlVbuR Legacy site status alerts for @SourceForge. For support, see https://t.co/QsIIdhKIsD
Joanna Rutkowska @rootkovska
24K Followers 130 Following Long-term navigation at https://t.co/CfQ8ne1BLB & architect of @wildlandio. Previously founder of @QubesOS & Invisible Things Lab.