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.