Genode Labs @GenodeLabs
This account is dormant. Follow us on https://t.co/3QNB1TRhGd genode-labs.com Dresden, Germany Joined July 2012-
Tweets554
-
Followers655
-
Following69
-
Likes168
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-…
0
2
11
2K
1
View Details
#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…
Josef Söntgen explains how to tame the runtime configuration of audio driver and mixer in #SculptOS #genodians #genode genodians.org/jws/2023-05-04…
The Goa tool takes its proper place as official #Genode Labs project after years of personal maintenance by Norman Feske #genodians genodians.org/nfeske/2023-05…
After the Sculpt release last week, we have two new articles for you on #Genodians! genodians.org
And yes, Sculpt is still a microkernel- and capability-based operating system with focus on security and privacy in daily use.
Sculpt OS 23.04: first-time PinePhone support in addition to PC version ⭑ live upgrades of the system boot images renders updates and version switching a matter some easy steps ⭑ new preset feature to switch application scenarios with one click/tap genode.org/news/sculpt-os…
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/…
And yes, it runs on the @thepine64 #PinePhone
We are proud to present the first ready-to-use image of mobile Sculpt OS #genodians #genode #sculptos genodians.org/nfeske/2023-02…
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!
@QtARM is a passionate RISC OS user and strives to combine it with #Genode on Rockchip RK3588 used in @thepine64 #QuartzPro64 #genodians genodians.org/mickenx/2023-0…
Julian Stecklina @blitzclone
1K Followers 668 Following Permanently moved to: https://t.co/9cRCLZRmJ7
Gabriel Parmer (also ... @__gparmer
602 Followers 664 Following Systems researcher and builder. Composite hacker. Mastodon: @[email protected] OS videos: https://t.co/PDbiDFaN2y…
Jacek Γαλοwιcζ @jgalowicz
608 Followers 261 Following Specializing in NixOS Consulting at @ApplicativeSys. C++ book author, giving university lectures about SW quality @[email protected]
Michael Grunditz @QtARM
222 Followers 67 Following StrongED in RISC OS and Vim/vi in UNIX. CED on Amigaish systems.
Paolo Fabio Zaino - �... @PaoloFabioZaino
361 Followers 885 Following Distinguished principal software engineer. I love #cybersecurity, #Linux, #BSD, #KaliLinux, #RetroComputing, #RetroCoding, #RISC_OS, #AmigaOS, #AtariST & #8bit
Proudmuslim @ProudmuslimDev_
29 Followers 86 Following ꩜ Software developer & chronically online schizo | SAIF - ??? ꩜
Jeffery L Schott Jr @jr_jeffery91050
204 Followers 235 Following I am a diesel technician and a resident of Wisconsin. I spend my days fixing the machines that keep this country moving. https://t.co/6Uajh49wSO
albatros ninos @AlbatrosNi23293
2 Followers 103 Following
Guack333 @guack333
32 Followers 824 Following
Bote Castro Guevara �... @botezuma
1K Followers 4K Following Espía ruso ☭. Nombre clave: избиратель 🇧🇷 🇷🇺 🇮🇷 🇨🇳🇿🇦🇱🇧🇵🇸🇨🇺🇾🇪🇻🇳🇸🇴🇷🇸🇰🇵🇱🇾🇧🇫🇳🇪🇲🇱
Lena_Keller 🌹🌼_ @ezf650fp30283
1 Followers 140 Following
Alan Block @AlanBlock69658
140 Followers 5K Following
Klutea @Klutea386315
21 Followers 2K Following
Patricio Sainz @patriciosainzr
13K Followers 14K Following 26. Abogado @derechouchile. Liberal de centroizquierda, hagiógrafo de tecnopols. @PSChile
archerships - e/acc, ... @archerships
2K Followers 7K Following https://t.co/NYGrzbmDJj #openborders #monero #sexwork #cryonics #agorism #seasteading #libre #haveno #fsp #3dguns #pronatalist #2cb #lunarpunk #ai
Creeper Host @creeper_host
8 Followers 128 Following Hello, My name is Creeper Host, i do things sometimes please help
Linda Adler 🇳🇴�... @LindaAdler98
649 Followers 3K Following Clandestine #NAFO counterintelligence + PsyOp agent. 🥸 • #OSINT + #InfoSec in spare time. 🕵️♀️ • Tip: see my list: Good stuff 💪
That Phenomenal Youtu... @PhenomenalYTGuy
217 Followers 733 Following Multi-physics/cybersecurity/biomedical/sociopolitical researcher & legendary analysis commenter, inventor, gamer, enthusiast, day drinker, and companion. 😎
Sudoer777 @sudoer777
186 Followers 7K Following
a second chance searc... @S0UT4TR3D8NT
18 Followers 377 Following Messages from the present, past and future.
SasaKen @Sasaken_23
163 Followers 916 Following 高2AIを用いた先進的なOSとUI開発/ My Website https://t.co/Us590zPKJM
𝗵𝗼𝗿𝗶𝘇�... @horizon2k38
1K Followers 987 Following Rekka IGUMI MITOU Jr. Super Creator ’23 / MITOU IT Super Creator ’24 / Masason 10th Keio Univ. B2 (EoIS) / SFC-RG VIRT Owner of @a9n_project iM@S: @spectr0gram
Aldo Fathoni @realfathonix
83 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 🐶
Amos ♱ @Tr8z3R
203 Followers 7K Following 🕊️✠ Ave Iesus Christus Nazarenus Rex ✠🕊️ Superare Mundum ♱🏹🎸❤️🔥🙏🗡️🛡️🪔✠Ephesians 6:12-18✠
Jeff White @wjeffwhite
9 Followers 170 Following
hendi @hendi
384 Followers 654 Following
Joseph Ottaviano @JosephOttavian1
32 Followers 2K Following
Mohsen Mostafa Jokar @Mohsen_jokar
344 Followers 273 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
231 Followers 3K Following "I don't know anything, but I do know that everything is interesting if you go into it deeply enough." ~ Feynman '79 Curiosity compounds. IT/∂ · Ψ · H₀ · ℏ
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
WPP @bowu97185447
5 Followers 237 Following
toridi_crb @toridi_crb
61 Followers 1K Following
Martin Nyx Brain @ciphernyx
824 Followers 473 Following Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
Deedend @Deedend
66 Followers 88 Following Online freedom and privacy passionate. Microsoft is rubbish
Costava @costavadev
25 Followers 158 Following
serapath【ツ】☮(... @serapath
1K Followers 3K Following 🌈 @playproject_io 🧙🏽 @wizardamigos 🌱 @datdotorg 🔮 @dat_ecosystem 🦩 npub18y99ww94dkscfzwvvuk60sn9fyzqj66kpjj7cpvplp 🦣 @[email protected]
AIQ @AIQPMC
20 Followers 781 Following
joao chagas @rafaaviator
265 Followers 5K Following
Adrián Arroyo Calle @aarroyoca
537 Followers 1K Following Software conspiracist | Un tímido muy echado para adelante | Mastodon: @[email protected]
Sebastian Jester @cyberjestr
34 Followers 346 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 968 Following
Julian Stecklina @blitzclone
1K Followers 668 Following Permanently moved to: https://t.co/9cRCLZRmJ7
AdaCore | Ada/C/C++ t... @AdaCoreCompany
2K Followers 454 Following AdaCore helps people build safe, secure and reliable software.
Framework @FrameworkPuter
120K Followers 248 Following Remaking consumer electronics to respect people and the planet. 💻🪛 For support visit https://t.co/OcUxJ6ebU3
Michael Grunditz @QtARM
222 Followers 67 Following StrongED in RISC OS and Vim/vi in UNIX. CED on Amigaish systems.
ipv6buzz @ipv6buzz
1K Followers 45 Following The @packetpushers podcast for building your knowledge, confidence & expertise to deploy IPv6 in your organization. Hosts: @ehorley @forwardingplane @ipv6tom
seL4 @seL4Foundation
658 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
59 Followers 90 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 188 Following Change the way of firmware development, collaborate with others and share knowledge #OSFC2025
daniel:// stenberg:// @bagder
58K Followers 525 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
915 Followers 255 Following Der Account liegt still Agentur für Innovation in der Cybersicherheit GmbH kontakt: [email protected] | Impressum: https://t.co/03Xrzz1ngO
ADFC Dresden @ADFC_Dresden
3K Followers 169 Following Unterwegs für aktive Mobilität in Dresden seit 1987. https://t.co/QC9HlftOPE
Verkehrswende Dresden @VerkehrswendeDD
1K Followers 631 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 50 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
41K Followers 268 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 812 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
768 Followers 711 Following Hardware, Software and Connectivity from Saxony - enabling IoT
gapfruit @gapfruit
38 Followers 0 Following The Next Generation of Operating Systems with Capability-Based Security
PHYTEC Messtechnik Gm... @PHYTEC_Gmbh
508 Followers 810 Following PHYTEC develops and produces embedded components for global use in industrial series products.
OUTPUT.DD - Die Proje... @OUTPUTDD
376 Followers 44 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
101 Followers 167 Following
Florian @flyfloh
71 Followers 121 Following
Platform Security Sum... @platformsec
984 Followers 4K Following Conference on composable software supply chain integrity and hardware-assisted platform security, with OpenEmbedded, OpenXT and other ecosystems
Purism @Puri_sm
22K Followers 926 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
467 Followers 430 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
231 Followers 237 Following seL4 kernel hacker & engineering magician. Don't get me wrong, I LIKE code review.
John Hayes @johnfreehayes
4K Followers 299 Following Former $PSTG 📈, Founder/CEO @GhostAutonomy 🪦, Founder Sensei 🐣 🌿
Heiko Weckbrodt @OigerNews
953 Followers 746 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
43 Followers 1 Following The Säntis System Summit 🏔️🚃🖥️ Hosted /w @56kcloud and @OptimyzeC @justincormack @grealish Reviving the Docker Distributed Summit!
Alex @alexab97002530
47 Followers 82 Following
MirageOS @OpenMirage
1K Followers 29 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
10K Followers 149 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
50 Followers 2 Following
JK🇪🇺🌻🇺�... @JK70523
77 Followers 108 Following Working @AdaCoreCompany, building software in #Adalang and #SPARK https://t.co/uTUnS52uou
Cyberus Technology @CyberusTech
603 Followers 41 Following This is the official Twitter account of Cyberus Technology GmbH. Impressum: https://t.co/nSiCLtPNpS
Qubes OS @QubesOS
30K Followers 0 Following A reasonably secure operating system for personal computers.
Andrea Barisani @AndreaBarisani
7K Followers 1K Following hacker | tamagopher | https://t.co/3S3EARrfoc
Martin Děcký @mdecky
408 Followers 364 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
33K Followers 481 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
8K 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 Distrusts computers. Keeps embracing them anyway. Previously: Golem Foundation/Wildland, Qubes OS, hardware/virtualization/OS security research.
Justin Cormack @justincormack
12K Followers 5K Following Doing new things. Now over at bsky not here
Rump Kernel @rumpkernel
794 Followers 0 Following Componentized, platform-independent kernel-quality drivers, e.g. file systems, TCP/IP, SCSI & PCI. Also the home of the Rumprun unikernel.
pappy @fredraynal
4K Followers 462 Following CEO @Quarkslab / ex-SSTIC, MISC, security and information warfare / Love when a plan comes together
NetworkBoot.org @NetworkBoot
82 Followers 60 Following A place where beginners can learn the fundamentals of network booting.
Systems Meetup Dresde... @ukvly
269 Followers 48 Following Announcements for the Dresden Systems Meetup #osdev #firmware #lowlevel #virtualization -- Used to be the "Microkernel Valley" account.Trends for United States
You might like
Enjoy Digital
@enjoy_digital
11K Followers
Dmitry Vyukov
@dvyukov
9K Followers
Tim 'mithro' Ansell
@mithro
6K Followers
Kein Mensch Kein Tier
@KampfmitKette
31K Followers
Anil Madhavapeddy
@avsm
6K Followers
Zeptobars
@Zeptobars
6K Followers
Fouad Farooq
@ffarooqb
256 Followers