Changeset 82cf692 in mainline for contrib/arch/uspace/srv/kbd/event.bp

Timestamp:

2009-09-17T21:22:36Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

69dc065

Parents:

3037384

Message:

protocol closure
(now all bindings are satisfied and the whole architecture can be verified, but this doesn't mean that the protocols are correct)

File:

• contrib/arch/uspace/srv/kbd/event.bp (modified) (1 diff)

contrib/arch/uspace/srv/kbd/event.bp

@@ -1 +1 @@
 ?ipc_m_connect_me_to ;
-?event* ;
+?event {
+        tentative {
+                !sys_console.sys_enable_console
+        }
+}* ;
 ?ipc_m_phone_hungup