Re: [seL4] Benchmark results?

[Gernot.Heiser]

we don’t presently publish those, bit it’s something we should look into

Gernot

> On 18 Oct 2016, at 3:43 , Corey Richardson  wrote:
> 
> Hello,
> 
> Are there any public results from sel4bench, or should I get my own
> numbers for some hardware?
> 
> --
> cmr
> http://octayn.net/
> 
> ___
> Devel mailing list
> Devel@sel4.systems
> https://sel4.systems/lists/listinfo/devel



signature.asc
Description: Message signed with OpenPGP using GPGMail
___
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

[seL4] Benchmark results?

[Corey Richardson]

Hello,

Are there any public results from sel4bench, or should I get my own
numbers for some hardware?

-- 
cmr
http://octayn.net/



signature.asc
Description: OpenPGP digital signature
___
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel