Hello,

Are there any public results from sel4bench, or should I get my own
numbers for some hardware?

-- 
cmr
http://octayn.net/

Attachment: signature.asc
Description: OpenPGP digital signature

_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel

Reply via email to