L4_fiasco中FPU虛擬化實現介紹

1.硬件方面： Armv8提供了兩個寄存器用於控制「FPU虛擬化」——CPTR_EL2、CPACR_EL1。我們截取手冊上關鍵位置。 CPTR_EL2 當CPTR_EL2寄存器的bit10爲0時，FPU相關操作不被trapped，相反爲1，則所有意欲訪問FPU部件的指令（不管是EL0、EL1還是EL2）都會被trap到EL2。 CPACR_EL1 CPACR_EL1寄存器則主要控制EL0和EL1訪

>>阅读原文<<