[–]▶ No.1082668>>1082671 [Watch Thread][Show All Posts]
Personally I'd like to see / build a pure capabilities OS, pretty much GNU hurd on seL4, and with guix + shepherd, and with a BtrFS or HAMMER2 FS server. Perhaps you could describe a capability tree sort of like Genode, but in guile description. How would you go to implement file descriptors and flags, on top of/with a pure capabilities object system, for Unix? How would you express capabilities in the VFS/object hierarchy. How, in general, would I go about "porting" the hurd to sel4? How retarded "am" I? Ideas anons
____________________________
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
▶ No.1082671>>1082678 >>1082869 >>1082978
>>1082668 (OP)
Sounds like you're mentioning a bunch of things but know very little about them.
The strong point of Linux is in the hardware support. If you're going to turn it into a microkernel you're going to have to rewrite all of them. Besides, just turning Linux into a microkernel without even rewriting the device drivers would be a life-long full time project, and that's not even taking into account the other stuff you mentioned -guix, hammerfs etc.-
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
▶ No.1082678>>1082681
>>1082671
I was thinking of porting most of the existing hurd servers to sel4. Difficult, yes. Impossible? no.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
▶ No.1082681>>1082683
>>1082678
Yeah I misunderstood your question.
You'd still need to either rewrite them or rewrite seL4's API.
Why don't you just use Hurd then?
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
▶ No.1082683>>1082685
>>1082681
Fair enough. Why not use hurd? Mach, old, slow, and without pure object-capabilities. I'd might as well use linux.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
▶ No.1082685
>>1082683
Well maybe try to port a simple one and tell us how it goes then.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
▶ No.1082869>>1082978
>>1082671
>The strong point of Linux is in the hardware support. If you're going to turn it into a microkernel you're going to have to rewrite all of them.
Doesn't FreeBSD already have a shim to use Linux drivers? Maybe something like this could be used to turn them into microkernel servers without too much difficulty.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
▶ No.1082978
>>1082671
>The strong point of Linux is in the hardware support. If you're going to turn it into a microkernel you're going to have to rewrite all of them.
Look below, he's actually right.
>>1082869
>Doesn't FreeBSD already have a shim to use Linux drivers? Maybe something like this could be used to turn them into microkernel servers without too much difficulty.
They're currently implementing a rump kernel in the Hurd which will make it easy to write a translator for linux => rump. Operating systems based on microkernels are very flexible - you can write a server for whatever purpose you want. They implement the rump kernel, so they won't have to write drivers themselves.
http://rumpkernel.org/
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.