18 Oct
2016
18 Oct
'16
9:34 a.m.
we don’t presently publish those, bit it’s something we should look into
Gernot
On 18 Oct 2016, at 3:43 , Corey Richardson corey@octayn.net 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