subject:"\[seL4\] Benchmark results\?"

Re: [seL4] Benchmark results?

2016-10-17 Thread 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 >

[seL4] Benchmark results?

2016-10-17 Thread 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