Mastodawn

In interested presentation on #SculptOS from June last year that I missed.

https://genode.discourse.group/t/genode-and-the-vision-of-truly-trustworthy-computing-recording/186

Direct video link:
http://genode.org/files/genode_ezag-2025.m4v

Genode and the vision of truly trustworthy computing (recording)

Last week, I had the opportunity to present Genode at the operating-systems group of TU Dresden. The talk and discussion was streamed and recorded. You can download the recording here. Abstract: The talk presents Genode, an open-source operating system created independently from the ground up by a small team in Dresden over the span of 16 years. It started with the vision of a truly trustworthy general-purpose OS that combines a novel architecture with microkernels, capability-based secur...

Genode Users Forum

Show thread

jschlatow 🐜Jan 31

@mntmn There's a pocket reform and a standard one at the @genode booth. Both running #sculptos.

Genode Jan 21

Tonight, the still small #Genode User Group Dresden gathers in the @c3d2 Hackspace for casual exchange of experiences and practical assistance with #SculptOS in day-to-day life.

https://hedgedoc.c3d2.de/GenodeUserGroupDD

Genode Dec 23

Norman Feske is Meeting Seed7

#genodians #genode #sculptos

https://www.genodians.org/nfeske/2025-12-22-meeting-seed7

Nos Dec 22

Hi, @BitsUndBaeumeDresden and #SculptOS do you have ideas for a #39C3everywhere event at @c3d2 during the #39c3 (27.-30.12.)?
#congresseverywhere

https://wiki.c3d2.de/wiki/39C3_everywhere

39C3 everywhere – C3D2

Nos Nov 30

Because of a network problem with #SculptOS on a Framework 16 Notebook I would like to try out external network devices (connected via usb). Does anybody already tried this out?

Nos Nov 30

Today I got the #SculptOS Multibootimage running on my Amd based #FrameworkLaptop 16. Turns out I handled Secure-Boot in a wrong way.

Show thread

Γιανίρης Nov 29

- Why can't I run what I want on #android?

You can't run what you want because android belongs to #google and they can control their own system.

- Why can't I run a different system than android on my own phone/pad/tablet?

Because manufacturers are in an agreement with Google trying to prevent you from running anything else.

- Is there an alternative to google/android phones?

- In large volumes and markets, yes, i-phone, much more expensive just as evil. There were some x64 like MS-windows phones long ago .. but there are pinephones and a few other alternatives very few know about since there is little money for marketing.

Cut-paste from a post elsewhere:

"https://www.lattepanda.com/lattepanda-v1 #lattepanda

Tiny little x86 4core 2Ghz pocket board with hdmi output
It seems as pinephone is getting some competition
5v2.5w (you can power it with a small powerbank) = 13W peak not enough to get your pocket warm

But for Arm there is
https://genode.org/documentation/index
#SculptOS

not so known OSes for #Pinephone released last month :

#SculptOS version 25.10
https://genode.org/download/sculpt

#Movuan (= Mobian based on Devuan)
https://gitlab.com/l2385/movuan/movuan"

@Tutanota

LattePanda V1 - The smallest intel atom x86 windows Single Board Computer

LattePanda V1 - the smallest and low cost x86 windows Single Board Computer based on intel Atom, perfect for embedded applications.

Lattepanda Tech Support Forum

jschlatow 🐜Nov 3

The Goa SDK has been updated to support #SculptOS 25.10 and brings a bouquet of new features along. I wrote up the notable changes in my recent #Genodians post.

https://genodians.org/jschlatow/2025-11-03-goa-25-10

Looking at these release notes, I'm delighted with how Goa as the solution for #genode application development evolves!