Hi Ben,
Firstly, I do not believe that unikernel is possible with a
microkernel like seL4.
Secondly, seL4 is a mathematically proven secure OS with good performance,
a lot of research must be performed to push the performance.
Thirdly, from a firmware point of view, how do you intend to manage storage
of a web server if it is a dynamic one.
Fourthly, do you intend to install seL4 on a server firmware like libreboot?
Fifthly, you can scroll down the announce@sel4.systems seL4 Mailing list to
find companies who might be interested.
Pritvi Jheengut
On Fri, 17 Nov 2023 at 03:55, Benjamin J. Kelly
<benjamin.ke...@windsorlake.llc> wrote:
> To Whom It May Concern,
>
> My name is Ben Kelly. Myself and my partner James Briscoe - CC'd on this
> email - are in the beginning stages of starting a company that will host
> websites and web services for clients requiring high security on hardware
> that we control from the firmware up. We haven't decided which OS we want
> to use yet. Our initial goal is a customizable OS that contains only the
> minimum services to host a web server and nothing else. We will be
> evaluating the seL4 Microkernel.
>
> We're also intrigued by the possibilities of enhanced application
> performance and security that can be had from a unikernel approach.
>
> Is there anything that would forbid using the seL4 MicroKernel acting as a
> 'hypervisor/scheduler' for highly isolated and performant unikernel
> applications?
>
> If not, seL4 and Unikernel technology could potentially deliver the
> maximum amount of performance and security possible for hardware running
> seL4-compatible CPUs.
>
> In the following video Boyd Multerer,
> https://youtu.be/YG5BaoB24eA?si=TcxHq51Q5HLC0m1_ was asked the question
> if seL4 would "make sense on servers." Boyd replied that "I think it would
> but it's not something that we are targeting ... yet." He also said that
> "Yeah, I do think seL4 would be perfect at the bottom of the server once
> the multi-core thing gets figured out. But we don't need to solve that
> right away." Do you think seL4 is mature enough for our purpose? If we were
> to invest our time doing a deep dive into understanding seL4 do you know of
> any companies that are willing to pay for our acquired knowledge?
>
> Very Respectfully,
>
> Benjamin J. Kelly
> President
> Windsor Lake Computing LLC
> http://windsorlake.llc/
>
> Sent with [Proton Mail](https://proton.me/) secure email.
> _______________________________________________
> Devel mailing list -- devel@sel4.systems
> To unsubscribe send an email to devel-leave@sel4.systems
>
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
