Barrelfish
|
Struct passed to app_cores during boot. Contains information that the bsp_kernel wants to pass to the app_kernels. More...
Data Fields | |
struct { | |
spinlock_t print | |
Lock for printing. | |
} | locks |
Shared locks between the kernels. | |
struct { | |
spinlock_t print | |
Lock for printing. | |
} | locks |
Shared locks between the kernels. | |
struct { | |
spinlock_t print | |
Lock for printing. | |
} | locks |
Shared locks between the kernels. | |
struct { | |
spinlock_t print | |
Lock for printing. | |
} | locks |
Shared locks between the kernels. | |
Struct passed to app_cores during boot. Contains information that the bsp_kernel wants to pass to the app_kernels.
State shared between CPU drivers By design, this should be empty. A spinlock for kernel debug printing is our only concession to shared state.