The fastpath is an add-on frontend to the kernel which performs the simple cases of some common operations quickly. It's not meant to have any impact on the kernel except for performance.
There is a section on the fastpath and its verification in the article here:
http://www.ssrg.nicta.com.au/publications/nictaabstracts/Klein_AEMSKH_14.abs...
The fastpath discussion starts on page 23.
Cheers, Thomas.
On 17/12/14 15:26, Pei.XiLong(裴喜龙) wrote:
Hi, Who can give me some description about seL4 fastpath?
Xilong Pei 2014/12/17
Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
________________________________
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.