18 months ago | Paul Boddie | file changeset files shortlog | Changed IPC message handling to interpret gate labels as generic endpoint addresses, with endpoint structures representing components and notification IRQs. | ipc-config-endpoints |
paul@462 | 1 | import "dataspace.idl"; |
paul@462 | 2 | import "flush.idl"; |
paul@462 | 3 | import "notification.idl"; |
paul@462 | 4 | import "pipe.idl"; |
paul@462 | 5 | |
paul@462 | 6 | interface PipeObject composes Dataspace, Flush, Notification, Pipe; |