Changeset fd07e57b in mainline for contrib/arch/kernel/kernel.adl

Timestamp:

2014-01-05T21:25:41Z (11 years ago)

Author:

Martin Sucha <sucha14@…>

Branches:

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

Children:

4aa2a27

Parents:

aacdb8e (diff), ca05e9b (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge cherrypicked kernel logger.

• Old klog sybsystem was renamed to kio
• Kernel and user-space log messages are stored in both logs (kernel logs end up in log/kernel file)

File:

• contrib/arch/kernel/kernel.adl (modified) (3 diffs)

contrib/arch/kernel/kernel.adl

@@ -3 +3 @@
  *****************************/
 
-interface sys_klog {
+interface sys_kio {
                 /* Print using kernel facility */
-                sysarg_t sys_klog(int fd, const void *buf, size_t size);
-        protocol:
-                ?sys_klog*
+                sysarg_t sys_kio(int fd, const void *buf, size_t size);
+        protocol:
+                ?sys_kio*
 };
 
@@ -251 +251 @@
 frame sys_console {
         provides:
-                sys_klog sys_klog;
+                sys_kio sys_kio;
                 sys_console sys_console;
 };
@@ -316 +316 @@
         inst sys_debug sys_debug;
         
-        delegate sys_klog to sys_console:sys_klog;
+        delegate sys_kio to sys_console:sys_kio;
         delegate sys_console to sys_console:sys_console;
         delegate sys_tls to sys_proc:sys_tls;