[ / / / / / / / / / / / / / ] [ dir / animu / hentai / htg / hydrus / kind / pdfs / sapphic / sl ][Options][ watchlist ]

/tech/ - Technology

You can now write text to your AI-generated image at https://aiproto.com It is currently free to use for Proto members.
Email
Comment *
File
Select/drop/paste files here
Password (Randomized for file and post deletion; you may also set your own.)
Archive
* = required field[▶ Show post options & limits]
Confused? See the FAQ.
Expand all images

File (hide): 1af0b215205b644⋯.png (14.05 KB, 480x480, 1:1, 480px-Hurd-logo.svg.png) (h) (u)

[–]

 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.



[Return][Go to top][Catalog][Screencap][Nerve Center][Update] ( Scroll to new posts) ( Auto) 5
7 replies | 0 images | Page ???
[Post a Reply]
[ / / / / / / / / / / / / / ] [ dir / animu / hentai / htg / hydrus / kind / pdfs / sapphic / sl ][ watchlist ]