100644 blob e69de29bb2d1d6434b8b29ae775ad8c2e48c5391	empty.c
100644 blob 3151b5ae1c9a24f9cd84fca96635e07eebd1c122	get-notification.template.c
100644 blob e67b7af5cf4b857b7ccf8b8776e57ae98a25cb3c	get-notification.template.h
100644 blob 69b15d00950cd4b1b65ef80346cecdd23b765b3e	global-endpoint.template.c
100644 blob 34c9993855229ad129d37c30d964c45995d51c7c	rpc-signalling.template.c
100644 blob 387eda2c3fda77b300c4fa8e9c68433cec865407	rpc-signalling.template.h
100644 blob 98ad62c800291596770e160c829831e82fe65c43	seL4DTBHardwareThreadless.template.c
100644 blob 79b96b44f6cabeb11d65e1d12d641c2c873c6128	seL4Ethdriver-from.template.c
100644 blob c5704d702659c35a6ef79f7c9c4da71fc066c810	seL4Ethdriver-from.template.h
100644 blob 274618eaf2b18bc4318d50930f354ba2297a98be	seL4Ethdriver-to.template.c
100644 blob bd19f375a4eface6e9e25f8d901b9bcadf5c95f3	seL4Ethdriver-to.template.h
100644 blob 7586338727e1ec09a867965136123d74206e00e6	seL4GPIOServer-from.template.c
100644 blob f04c16a40a53aac65eafe1f3c04522726592754a	seL4GPIOServer-from.template.h
100644 blob d09b429efda35c1861a63a43b6f251ab8a0970fb	seL4GPIOServer-to.template.c
100644 blob 93fde16d0355b805f5213d5dd05f7bd43e967197	seL4GPIOServer-to.template.h
100644 blob 682f0b70b5d93ceed78e97a17b0022034ca7cd69	seL4GlobalAsynch-from.template.c
100644 blob e46e96b2ab245a2c8cdee08def11be55b149fdf3	seL4GlobalAsynch-to.template.c
100644 blob f4aa97532512b2cf9847ec51f42996bfa0be898d	seL4GlobalAsynchCallback-from.template.c
100644 blob 0132b52b4c92db4ce2e0c42b383ca296526caa2f	seL4GlobalAsynchCallback-to.template.c
100644 blob b33720565d6975e396a660bb1a0e8c3b68ed4b02	seL4GlobalAsynchHardwareInterrupt.template.c
100644 blob 369b5dab5f88eb67fde8b1b8ab4aba9726b93233	seL4MessageQueue-from.template.c
100644 blob 2a26bc5b7bdcc662c3d1d75ea8cf85ad1182b7b7	seL4MessageQueue-to.template.c
100644 blob c08eb0c70f33709eebeea61d39783f3f3bb9fe7d	seL4MultiSharedData-from.template.c
100644 blob c3ef32a8097aeaf492005406742eb5fde2090fee	seL4MultiSharedData-from.template.h
100644 blob e0152cad39a8231bc5100b2cc0e2e81285bbdcce	seL4MultiSharedData-to.template.c
100644 blob 4680cde0d82324593be933090176e8924b6146dc	seL4MultiSharedData-to.template.h
100644 blob a08161f6068617cf662e82b0e064d3d60514ac0e	seL4RPCCallSignal-from.template.c
100644 blob 855a33146456c18653c00cb2b4456c3404c1a7f4	seL4RPCCallSignal-from.template.h
100644 blob 42b7a423e44583fe7f31f9ac0d945d4f8e06900d	seL4RPCCallSignal-to.template.c
100644 blob 00c41638205259460a7ade936721ddac333f8a93	seL4RPCCallSignal-to.template.h
100644 blob 724f070657bdccf8a0e2be883f14fc70e03ccd63	seL4RPCDataport-from.template.c
100644 blob e25cff54198e9f754f0a37211f400560e2de8d04	seL4RPCDataport-from.template.h
100644 blob 955d3caedd875970831fce257c1eca50ee2dd531	seL4RPCDataport-to.template.c
100644 blob e5779cabac477a6cd305d91a0e537b08ff693ae8	seL4RPCDataport-to.template.h
100644 blob 86f54832884584d8bb29988a67bebdbd4669d561	seL4RPCDataportSignal-from.template.c
100644 blob c6380bd9d3291d3c3c306dca2ac65b98fe76a412	seL4RPCDataportSignal-from.template.h
100644 blob 2eeafc1c644c9a8c7aa16b72514f2eddf002a320	seL4RPCDataportSignal-to.template.c
100644 blob 9ac35a6a5ba022a0a2eef7fc95d66b2d1b4c3520	seL4RPCDataportSignal-to.template.h
100644 blob e0a2b3eb7a6b1c426adf989c12ef81a731926138	seL4RPCNoThreads-from.template.c
100644 blob 5166eeeac2565c7e2323b0828b35fba982ede06c	seL4RPCNoThreads-from.template.h
100644 blob 521c181a857c9f5fb09ae9ed0bdb746ab1a190b1	seL4RPCNoThreads-to.template.c
100644 blob 9943db9689680d7e934f34f05af870f6a3c89390	seL4RPCNoThreads-to.template.h
100644 blob babcb4589e94d2a12bd097d8d1aa376ead667bc9	seL4RPCOverMultiSharedData-from.template.c
100644 blob 1585c3d813e8cc9e81bb3ac563fde91c7cfb4763	seL4RPCOverMultiSharedData-to.template.c
100644 blob 1e5ec8b08c0e9af1960dda9fed9c774700dd505c	seL4SharedDataWithCaps.template.c
100644 blob 1569fa4ed5f87cd8ab9c3f33da83a3b1ff189e0b	seL4SingleThreadedComponent.template.c
100644 blob 0b24df2d9d62ff435c338c0a5876477dda9a1a43	seL4SingleThreadedComponent.template.h
100644 blob 79823fb894b52f29b9e82be10ea959446fb29705	seL4VirtQueues-from.template.c
100644 blob 25f3798750ae17246b0b3cb63462ccd295f3bc1c	seL4VirtQueues-from.template.h
100644 blob e69de29bb2d1d6434b8b29ae775ad8c2e48c5391	seL4VirtQueues-to.template.c