Sculpt OS 19.07

Sculpt is an open-source general-purpose OS. It combines Genode's microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware. Sculpt is used as day-to-day OS by the Genode developers.
Why aren't you using a proper µkernel, multiserver operating system, user?

Attached: 1549493160021.png (1600x900, 1.21M)

Other urls found in this thread:

genode.org/download/sculpt
blog.darknedgy.net/technology/2016/01/01/0/
genodians.org/
genode.org/about/index
twitter.com/NSFWRedditGif

genode.org/download/sculpt

Attached: 1553301022764.png (595x842, 716K)

This is legitimately one of the coolest projects I’ve seen. We need innovation like this.
That said, it was in a rather unusable and under-documented state when I last tried it. What software does it support nowadays? Can it run a web server or router?

The devs use it on a day to day basis already.
The depots have things like free games and emulators.
You can run virtualbox in it, so you can run linux and then run whatever you want (yeah, I know...).
Just give the current Sculpt OS release a shot; It's a live system and you don't need to install anything elsewhere than ramfs.

Attached: 1537213064781.png (1136x1500, 1014K)

>You can run virtualbox in it, so you can run linux and then run whatever you want (yeah, I know...).
Ah, so not much native? That’s a shame.

Looks like a pretty neat project and I'm a huge fan of microkernels. But it's not going anywhere until it gets a decent GUI, and not just some shit ported from GNUtoddler land. That's the main reason I use MacOS (hackintoshes) as my main OS and Haiku as my tinker toy. Last time I tried it the GUI was unusable. Needs something like what QNX has. That was peak comfy.

Attached: neutrino_desktop.gif (1024x768, 84K)

Virtualbox to e.g. run linux in a window under genode is the "backup plan". Obviously there's a bunch of stuff available in the ports tree and ready to run in the depots.

nitpicker > neutrino, any day, any time of the day.

Attached: 1538563844234.png (855x1200, 695K)

s/neutrino/photon/g
QNX is cool but fatally proprietary.

And that’s a huge shame. It’s closed source and usually meant mostly for embedded shit, but from what I can tell it’s one of the more complete microkernel OSes out there
Ok, I’ll check it out sometime

Now this type of thread and cool stuff I'd like to see more often!

Based C++/SPARK (Ada) research OS.

>microkernel
>capability-based security
>sandboxed device drivers
>virtual machines
Meme words from the 90s. Theoretical bull that never survived in the real world except as research.

blog.darknedgy.net/technology/2016/01/01/0/

Attached: 1539565235627.png (800x1136, 983K)

What do you use it for OP?

genodians.org/
Webserver running on Genode™

Attached: 1544506323185.png (400x84, 22K)

To feel special, Linux is too mainstream.

Attached: 1550308274421.jpg (1500x1061, 359K)

probably for desktop threads

Linux a shit. A shit!!

linux users want to google their stacktrace...

>germany has no technolog-

Attached: 2018-09-21-sculpt-vc.png (1600x900, 1002K)

I would switch to any non-Linux or NT based system as soon as it has pci passthrough support for virtual machines.

Gave it a spin booting usb on a laptop.
This is the future.

Attached: 1540498293369.png (1920x1080, 1.07M)

it needs code of conduct

Attached: 1512866621943.jpg (718x805, 77K)

Every time I read the name as "Genocide".

Attached: 93f266a4db3fa9782ca49c5a7998774c2d96be7637fc2d6e9d035d0877adc3c5.jpg (178x264, 20K)

>microkernel? Like Hurd?
But this one seems to actually work.
Where can I check what packages comes with it?

How is this different from 9front in the end? Aside from the microkernel detail

Run it. Go online. Enable ramfs and select it. Add depots from the list. Add packages and start them.
Awesome stuff.

9front is not unix. Genode is not unix.
Yet Genode is not 9front.

Attached: 1545939947173.png (1920x1080, 1.64M)

based genode posters

Ok but if i got it correctly the whole isolation per process is the same, just achieved with different details

What kernel does Sculpt use? I saw sel4 mentioned a couple of times.

up

It's not really ready for daily use yet.

>Kernels: most members of the L4 family (NOVA, seL4, Fiasco.OC, OKL4 v2.1, L4ka::Pistachio, L4/Fiasco), Linux, the Muen separation kernel, and a custom kernel.
genode.org/about/index

It's a research OS. Also looks pretty usable to me for something < 10x the sloc of TOS

That's Genode, yes. But what about Sculpt specifically?

I know what it is user. I used to shill sel4, and genome on Jow Forums a few years ago.
My opinion:
>It's not ready for daily use yet

>virtualbox

Naruhodo. Did you keep track of the development? If so, when do you think it will be?

Microsoft™ Windows© already runs all the programs I need, effortlessly.

>If so, when do you think it will be?
It would be ready for mainstream use after a few desktop breads with waifu backgrounds, op/ed playlists, uptime fagging, and gimp circles.

I wouldn't say so. Check the genode book intro chapter, it talks about capabilities.
Not to be confused with posix capabilities, they're a completely different thing.