Changeset 76fca31 in mainline for kernel/generic/src/interrupt/interrupt.c

Timestamp:

2008-12-16T19:02:07Z (16 years ago)

Author:

Martin Decky <martin@…>

Branches:

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

Children:

5ae4443

Parents:

8fe5980

Message:

kconsole is optional
kernel & uspace framebuffer rewrite with speedups (some things are slightly broken yet)

File:

• kernel/generic/src/interrupt/interrupt.c (modified) (3 diffs)

kernel/generic/src/interrupt/interrupt.c

@@ -110 +110 @@
 }
 
+#ifdef CONFIG_KCONSOLE
+
 /** kconsole cmd - print all exceptions */
-static int exc_print_cmd(cmd_arg_t *argv)
+static int cmd_exc_print(cmd_arg_t *argv)
 {
 #if (IVT_ITEMS > 0)
@@ -159 +161 @@
 }
 
+
 static cmd_info_t exc_info = {
         .name = "exc",
         .description = "Print exception table.",
-        .func = exc_print_cmd,
+        .func = cmd_exc_print,
         .help = NULL,
         .argc = 0,
         .argv = NULL
 };
+
+#endif
 
 /** Initialize generic exception handling support */
@@ -176 +181 @@
                 exc_register(i, "undef", (iroutine) exc_undef);
 
+#ifdef CONFIG_KCONSOLE
         cmd_initialize(&exc_info);
         if (!cmd_register(&exc_info))
-                panic("could not register command %s\n", exc_info.name);
+                printf("Cannot register command %s\n", exc_info.name);
+#endif
 }