LinuxQuestions.org
Welcome to the most active Linux Forum on the web.
Go Back   LinuxQuestions.org > Forums > Linux Forums > Linux - Newbie
User Name
Password
Linux - Newbie This Linux forum is for members that are new to Linux.
Just starting out and have a question? If it is not in the man pages or the how-to's this is the place!

Notices


Reply
  Search this Thread
Old 02-28-2020, 07:14 AM   #1
parano-ID
LQ Newbie
 
Registered: Feb 2020
Posts: 14

Rep: Reputation: Disabled
Question Operating system with the sel4 kernel?


Hi, everybody, I'm new. I've been searching the web for an operating system with the sel4 kernel and I didn't find anything. Just news about sel4 operating systems but for drones or something. My question is, is there a sel4 operating system for desktops? Thank you very much in advance.
Best regards.

Footnote: I already asked this question at the Linux Foundation but nobody knew how to answer me.

Edit:Or if there is a way to install the sel4 kernel on a Linux distribution. With some tutorial for beginners. Much appreciated in advance.

Last edited by parano-ID; 02-28-2020 at 08:06 AM.
 
Old 02-28-2020, 08:36 AM   #2
michaelk
Moderator
 
Registered: Aug 2002
Posts: 25,592

Rep: Reputation: 5880Reputation: 5880Reputation: 5880Reputation: 5880Reputation: 5880Reputation: 5880Reputation: 5880Reputation: 5880Reputation: 5880Reputation: 5880Reputation: 5880
Welcome to LinuxQuestions.

linux is a monolithic kernel where as sel4 is a microkernel which are totally different and I am not surprised the Linux Foundation did not know how to answer you. Basically it is a minimal system but does not provide any operating system services.

https://en.wikipedia.org/wiki/Microkernel
https://en.wikipedia.org/wiki/Monolithic_kernel

Here are some operating systems that use a microkernel
https://en.wikipedia.org/wiki/Catego...rating_systems

Have you looked at the sel4 website? It is possible to run linux on top of sel4 but have no idea if there is a linux distribution out there yet.

https://sel4.systems/
https://docs.sel4.systems/GettingStarted
 
1 members found this post helpful.
  


Reply


Thread Tools Search this Thread
Search this Thread:

Advanced Search

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is Off
HTML code is Off



Similar Threads
Thread Thread Starter Forum Replies Last Post
problem operating command with DUAL operating system with ubuntu & windows 7 gne Linux - Newbie 2 02-01-2015 08:12 AM
seL4 microkernel to be Open Source jeremy Linux - News 0 06-24-2014 12:09 PM
LXer: The non-operating system operating system LXer Syndicated Linux News 0 06-26-2010 05:42 PM
'Operating system not found' Any operating system installed wont work. TechniSlave Linux - Newbie 55 02-09-2009 11:02 AM

LinuxQuestions.org > Forums > Linux Forums > Linux - Newbie

All times are GMT -5. The time now is 08:32 AM.

Main Menu
Advertisement
My LQ
Write for LQ
LinuxQuestions.org is looking for people interested in writing Editorials, Articles, Reviews, and more. If you'd like to contribute content, let us know.
Main Menu
Syndicate
RSS1  Latest Threads
RSS1  LQ News
Twitter: @linuxquestions
Open Source Consulting | Domain Registration