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