> On 18 Nov 2021, at 02:06, yadong.li <[email protected]> wrote: > > 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?
The page reports the 0-length numbers. The idea is that IPC should fit into registers, the 10 case is the one that make it spill into memory deliberately. That number is good to know for development, but should not be the main performance characteristic. Cheers, Gerwin _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
