seL4 will be ported to RISC-V!

Name
Email
Subject
Comment *
File	Select/drop/paste files here
Password	(Randomized for file and post deletion; you may also set your own.)
* = required field	[▶ Show post options & limits] Confused? See the FAQ.

Flag
Oekaki	Show oekaki applet (replaces files and can be used instead)
Options	Do not bump (you can also write sage in the email field) Spoiler images (this replaces the thumbnails of your images with question marks)
Allowed file types:jpg, jpeg, gif, png, webm, mp4, pdf Max filesize is 16 MB. Max image dimensions are 15000 x 15000. You may upload 3 per post.

File (hide): c8e53f3ed305bc7⋯.jpg (72.05 KB, 700x538, 350:269, pika.jpg) (h) (u)

File (hide): 0813fbb08dcef2d⋯.png (273.34 KB, 540x498, 90:83, ClipboardImage.png) (h) (u)

▶seL4 will be ported to RISC-V! cuteposter 04/29/18 (Sun) 20:19:42 No.906560>>906731 >>906739 >>907040 >>907067 >>907457 [Watch Thread][Show All Posts]

Port just started and as such is very limited, but they're actually doing it! seL4 on RISC-V!

These are two of my most favoritest developing projects. Once seL4's Risc-V port is solid, things should be looking up. Genode apparently has been progressing well lately, so as it keeps going we should end up with a usable userland. Then there's stuff like lowRISC we're still waiting for and I really hope are good. Plus any other RISC-V hardware that gets announced in future.

We could eventually have a viable secure microkernel OS running on the least-pozzed architecture we've ever had.

OwO I can't wait to see what happens!

▶cuteposter 04/29/18 (Sun) 20:20:59 No.906561>>906731

forgot link >_<

https://www.theregister.co.uk/2018/04/23/risc_v_sel4_port/

▶Anonymous 04/29/18 (Sun) 20:58:48 No.906578>>906609

whats sel4 and is risc-v just another embedded processor? o.o?

why is this important? pls explain UwU

▶Anonymous 04/29/18 (Sun) 21:03:59 No.906583>>906589 >>908313

But there's no viable POSIX OS running with any L4 derivative, right? Or does Genode fill this gap?

▶Anonymous 04/29/18 (Sun) 21:14:42 No.906589>>906596 >>906967

>>906583

Genode has a POSIX environment as well as SDL, OpenGL (with 3D accel on some Intel chips!), and Qt. Vim, OpenSSH, QtWebkit, and Tux Racer have all been ported.

▶Anonymous 04/29/18 (Sun) 21:30:39 No.906596

>>906589

The thing is that even after reading their about page, it seems to me that the POSIX compatibility is only virtualisation.

▶cuteposter 04/29/18 (Sun) 22:00:41 No.906609>>906617 >>906635 >>907359 >>907457

File (hide): ea4d84034776134⋯.jpg (38.49 KB, 480x480, 1:1, boysOwO.jpg) (h) (u)

>>906578

Hello there!

seL4 is a microkernel that according to a lot of sources is really really secure, which they verify with all kinds of mathematical formal testing and stuff, . To the point of being basically bug-free! ^.^

Its only gone through the full testing on the ARM platform, but theres plans to do it on x86 and now apparently RISC-V

RISC-V is a new ISA, like x86, ARM, MIPS, POWER, etc ok?

Unlike a lot of the others, it's 100% open source! So less chance of stuff like the x86 botnet duopoly we have now. Anyone can use it freely!

Genode is an OS userland framework that supports a bunch of microkernels, including seL4.

So lets put it all together! UwU

We have the RISC-V CPUs, which in theory should be the most free, least-botnet chips ever.

On those, we would have the nearly bug-free seL4, which after more future development and tests should be able to run on there and be fully formally verified.

And Genode would give us a userland to go with the microkernel!

hope that helps! *snuggles*

▶Anonymous 04/29/18 (Sun) 22:09:25 No.906617

>>906609

thanks anon >///<

▶Anonymous 04/29/18 (Sun) 22:37:32 No.906635>>906775

>>906609

>*snuggles*

*filter name* ボタン ^>^ kawaii!!!

▶Anonymous 04/30/18 (Mon) 00:59:30 No.906708>>906771

File (hide): 312d1f7570df026⋯.png (135.75 KB, 359x300, 359:300, d252ca1f845cbb4922aca6ea5b….png) (h) (u)

>having privacy concerns

>wanting to wanna fuck little boys

kill CIA_NIGGERS.

I don't care if you like boipussy, you are making a mockery of privacy concerned individuals.

Every project designed to unplug from ZOGNET is flooded with fags, pedos (TOR), and trannies (librecoot).

Homos are only useful for destabilizing communities.

▶Anonymous 04/30/18 (Mon) 02:19:55 No.906731>>906771

File (hide): e50102a843d3c9a⋯.jpg (10.56 KB, 165x233, 165:233, 31641.jpg) (h) (u)

>>906561

>>906560 (OP)

>not getting the news on the seL4 mailing list

▶Anonymous 04/30/18 (Mon) 02:42:40 No.906739>>906771

>>906560 (OP)

Seems great, but I really like Mach (GNU HURD)

▶cuteposter 04/30/18 (Mon) 05:04:22 No.906771>>906784 >>907457

File (hide): 0ea42c811cbb03b⋯.jpg (72.55 KB, 650x1000, 13:20, 9a529db54384d7f6868d59c945….jpg) (h) (u)

>>906731

I might just join that!

>>906708

>you are making a mockery of privacy concerned individuals.

w-why??

>Every project designed to unplug from ZOGNET is flooded with fags, pedos (TOR), and trannies (librecoot).

i dont like trannies only cute bois especially kitten bois uwu

>Homos are only useful for destabilizing communities.

i-im not a LGBT diversityfag if thats what u mean..

>>906739

ded project, and also has no goals of formal verification for the kernel and stuff. We'll have to see how Genode progresses, but it seems like they're making more and faster progress on developing a microkernel system than GNU has in decades.

▶Anonymous 04/30/18 (Mon) 05:17:34 No.906775

File (hide): 73bd93aa7de0fff⋯.jpg (45.63 KB, 456x461, 456:461, 1488266912225.jpg) (h) (u)

>>906635

<mixing kana and romaji

▶Anonymous 04/30/18 (Mon) 06:18:08 No.906784>>906967

>>906771

>i dont like trannies only cute bois especially kitten bois uwu

Yeah but you still fall into the first two categories. Your posts are generally better quality compared to this wasteland of a board, but please stop flaunting your pedophilia in all of them.

▶Anonymous 04/30/18 (Mon) 08:49:16 No.906835>>906967

I like this thread

▶cuteposter 04/30/18 (Mon) 18:36:45 No.906967>>907043 >>907457

File (hide): 4abf0d300183533⋯.jpg (70.44 KB, 500x500, 1:1, lvalavhhyD1qc2uz2o1.jpg) (h) (u)

>>906784

>Yeah but you still fall into the first two categories.

*giggles*

>Your posts are generally better quality compared to this wasteland of a board

thanks! ^.^

>but please stop flaunting your pedophilia in all of them.

i-i cant help it...

>>906835

I like you!

So getting back on topic, >>906589 says they got QtWebKit working on Genode?? Any details? like, is it a full-on native port, or would this be running virtualized Linux?

▶Anonymous 04/30/18 (Mon) 19:58:24 No.906981>>906995 >>907158

File (hide): 1d625e8997693bb⋯.jpg (603.58 KB, 800x822, 400:411, 1512121374015.jpg) (h) (u)

W-What's going on in here? Is this a new, kinder, gentler /tech/?

▶Anonymous 04/30/18 (Mon) 20:27:59 No.906992>>907012

Your thread is garbage.

▶cuteposter 04/30/18 (Mon) 20:32:25 No.906995

>>906981

maybe ;)

▶Anonymous 04/30/18 (Mon) 21:20:24 No.907012>>907320

>>906992

It's a good thread, but the cuteposter is going a little far in the autismorismo.

▶Anonymous 04/30/18 (Mon) 22:49:51 No.907040>>907320

>>906560 (OP)

When is RISC-V going to be available for purchase for end users?

▶Anonymous 04/30/18 (Mon) 22:52:53 No.907043

>>906967

>pedo

>no shame at all

I don't like most of what Hitler did, but he was right in gassing your kind

▶Anonymous 05/01/18 (Tue) 00:18:45 No.907067>>907320 >>909001

File (hide): 076f6750822b599⋯.png (166.53 KB, 567x462, 27:22, AAAAAAAAAAHHHH.png) (h) (u)

>>906560 (OP)

Now we just need usable RISC-V hardware!

▶Anonymous 05/01/18 (Tue) 05:12:28 No.907158

>>906981

No it's a kindergender /tech/

▶cuteposter 05/01/18 (Tue) 13:31:58 No.907320>>907419 >>907457

File (hide): cd8f15dec24b2ff⋯.jpg (14.11 KB, 236x333, 236:333, 5746cf99a0d44dd4b5717e3746….jpg) (h) (u)

>>907012

im sorry ;_;

>>907040

I guess the first one with a more acceptable price (not 1000$ like the first one by SiFive) would be lowRISC. They seem pretty committed to open source and not being CIAniggers about it. Their Twitter feed was where I found out about this seL4 update actually.

>>907067

I hope more comes soon! lowRISC I heard might come out this year!

▶Anonymous 05/01/18 (Tue) 15:03:36 No.907359>>907371

>>906609

>Its only gone through the full testing on the ARM platform, but theres plans to do it on x86 and now apparently RISC-V

Will this take a long time? I imagined porting an OS to a new platform alone takes a while, but writing formal proofs for each platform seems even more time consuming, unless most of the tests are not platform specific (Run for L4 on L4).

I'm itching for a fullstack of efficient, open, and secure platforms. If RISC+L4 is actually that, then good times ahead. I really just want RISC+microkernel for power efficiency + uptime. Everything else is a bonus.

▶cuteposter 05/01/18 (Tue) 15:25:27 No.907371>>907419

>>907359

honestly I have no idea how long it would take. My brain-logic is that it would be easier to do it on RISC-V, as it's a simpler architecture than the CISC x86, but idk

>unless most of the tests are not platform specific

I do know that parts of the seL4 codebase are written in assembly specifically for each architcture, so I imagine it does have to be platform specific.

>I'm itching for a fullstack of efficient, open, and secure platforms.

Me too! Thinking about it gets me sooo excited ^.^

>I really just want RISC+microkernel for power efficiency + uptime. Everything else is a bonus.

Genode actually supports multiple kernels, almost all of them being microkernels.

From the website:

>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.

Also, I read some academic paper about L4 in general, and the original idea was actually made to help remedy the overhead/performace issues of microkernels to a certain extent. They're not exactly on par with monolithic kernels, but they should be close enough in modern implementations.

▶Anonymous 05/01/18 (Tue) 16:59:50 No.907419>>907421

>>907371

>>907320

Hey, I've sent you an email again. You should check them periodically :) I was a bit busy the last week, but now I have more time again.

▶cuteposter 05/01/18 (Tue) 17:01:54 No.907421>>907457

File (hide): a59c3667ce3db73⋯.jpg (81.1 KB, 875x657, 875:657, 1323465_1388551789757_full.jpg) (h) (u)