15 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 "region_mapper.idl"; |
paul@462 | 2 | import "system_pager.idl"; |
paul@462 | 3 | |
paul@462 | 4 | interface PagerObject composes RegionMapper, SystemPager; |