[seL4] what is fastpath

[裴喜龙]

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