portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/arch
History
Jasper Lowell 445e09150c aarch32: Rework access of fpu control registers 
GCC accepts MCR/MRC instructions to modify fpu control registers. Clang
does not. VMSR/VMRS are instructions that the ARM specification suggests
to use when accessing fpu control registers.
2019-03-12 14:42:38 +11:00
..
arm aarch32: Rework access of fpu control registers 2019-03-12 14:42:38 +11:00
riscv/arch riscv,RV64,bf: Correct cannonical address to 39 2019-02-08 17:17:02 +11:00
x86/arch bitfields: Split definition cannonical addresses 2019-02-08 17:17:02 +11:00