Hi：
I learn the sel4 performance form https://sel4.systems/About/Performance/
I focus on the ARMv8 platform, from the website, the parameters are as
follows:
ISA Mode Core/SoC/Board Clock IRQ Invoke IPC call
IPC reply
"Armv8a 64 A57/Tx1/Jetson 1.9 GHz 863 (18) 396(15)
397(4)"
I want to know what is the length of IPC for the record provided on the web
page , when test IPC call and reply? 0 or 10?
thank you very much
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
