Adrian Danis bdf78d2361 libsel4: Correct 64-bit guard size bits constant ... This constant was incorrectly defined as 5 when it is actually 6 on 64-bit kernels		2017-10-27 12:15:09 +11:00
..
32/sel4/mode	libsel4: Make guard and badge definitions mode specific	2017-10-27 12:15:09 +11:00
64/sel4/mode	libsel4: Correct 64-bit guard size bits constant	2017-10-27 12:15:09 +11:00