Barrelfish
|
Files | |
file | dispatcher_shared_target.h |
Architecture specific dispatcher struct shared between kernel and user. | |
file | paging_target.h |
Arch specific definitions, can be included by others. | |
file | registers_target.h |
Arch specific definition of the registers, can be included by anyone. Definitions shared by kernel and user. | |