portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/plat/pc99
History
Jack Suann ebf593561c x86: Add missing memory clobber in receivePendingIRQ 
In receivePendingIRQ() the global variable x86KSPendingInterrupt may be
updated but compiler was previously unaware of this.
2017-02-08 12:48:46 +11:00
..
plat x86: Add missing memory clobber in receivePendingIRQ 2017-02-08 12:48:46 +11:00
autoconf.h Define CONFIG_MAX_NUM_NODES and CONFIG_KERNEL_STACK_BITS in plat/autoconf.h 2017-01-17 17:03:07 +11:00