we don’t presently publish those, bit it’s something we should look into
Gernot > On 18 Oct 2016, at 3:43 , Corey Richardson <co...@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
signature.asc
Description: Message signed with OpenPGP using GPGMail
_______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel