|
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.
1.8.11