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.abstract.pml
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
[email protected]
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.
_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel
