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