s://docs.sel4.systems/processes/conduct.html
> >
> > ___
> > 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
>
--
Bob Trower
--- From Gmail webmail account. ---
___
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
y more than a few percent, as the seL4 IPC cost is only about 20% higher
> than the
> pure hardware cost of kernel trap, minimal state save+restore and
> switching page tables.
> This has been independently established in a peer-reviewed paper, see
> https://dl.acm.org/doi/pdf
se for testing and debugging, or if one is shipping a virtual
> appliance.
> --
> Sincerely,
> Demi Marie Obenour (she/her/hers)
>
> _______
> Devel mailing list -- devel@sel4.systems
> To unsubscribe send an email to devel-leave@sel4.sys
lly
> assigned.
>
> I don’t think I understand. Running seL4 in any way other than on bare
> metal makes no sense whatsoever.
>
> Gernot
> ___
> Devel mailing list -- devel@sel4.systems
> To unsubscribe send an email to d
ample of this. The number of security
> >domains is at least the number of origins in use, which can be
> >extremely large. Furthermore, some origins might be CPU-intensive.
> >Therefore, the overall system load is an unavoidable side-channel,
> >at le
ers,
> Gerwin
>
> ___
> Devel mailing list -- devel@sel4.systems
> To unsubscribe send an email to devel-leave@sel4.systems
>
--
Bob Trower
--- From Gmail webmail account. ---
___
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
gs like "it works on my machine" should not be the response to someone
having a problem with a build.
Bob Trower
On Wed, Feb 14, 2024 at 12:15 PM June Andronick (seL4 Foundation)
wrote:
> Hi,
>
> We are working on improvements to the seL4 website (https://sel4.
; > https://microkerneldude.org/2019/03/07/how-to-and-how-not-to-use-sel4-ipc/
> > ___________
> > 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
--
Bob Trower
--- From Gmail webmail account. ---
___
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
haps flawed, path of some new hardware
> memory protection.
>
> Appreciate any feedback you can humour me with.
> ___
> Devel mailing list -- devel@sel4.systems
> To unsubscribe send an email to devel-leave@sel4.
e you
> already have a patch to fix this, also create a pull request
> there?
>
> Axel
> ___
> Devel mailing list -- devel@sel4.systems
> To unsubscribe send an email to devel-leave@sel4.systems
>
--
Bob Trower
--- From Gmail webmail account. ---
___
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
10 matches
Mail list logo