Changeset 82cf692 in mainline for contrib/arch/HelenOS.adl

Timestamp:

2009-09-17T21:22:36Z (15 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/HelenOS.adl (modified) (1 diff)

contrib/arch/HelenOS.adl

@@ -45 +45 @@
         
         bind console:ns to ns:ns;
+        bind console:sys_console to kernel:sys_console;
         
         bind klog:ns to ns:ns;