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)
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