Adrian Danis 5f4640dc6c Move cnode_capdata to libsel4 shared types bitfield ... This data structure is meant to be the user visible format of the data for a cnode_cap, yet it is defined in a kernel only bitfield file. Moving it to libsel4 opens up the possibility of consolidating the definitions in libsel4		2017-10-27 12:14:44 +11:00
..
api	libsel4: fix licenses	2017-06-22 15:27:29 +10:00
interfaces	manual: allow non sec autorefs	2017-06-27 16:22:34 +10:00
sel4	Move cnode_capdata to libsel4 shared types bitfield	2017-10-27 12:14:44 +11:00