Changes in kernel/generic/src/console/kconsole.c [24abb85d:e98f1c3e] in mainline

File:

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

kernel/generic/src/console/kconsole.c

@@ -39 +39 @@
  */
 
-#include <assert.h>
 #include <console/kconsole.h>
 #include <console/console.h>
@@ -55 +54 @@
 #include <str.h>
 #include <sysinfo/sysinfo.h>
+#include <ddi/device.h>
 #include <symtab.h>
 #include <errno.h>
@@ -633 +633 @@
     size_t *start, size_t *end)
 {
-        assert(start != NULL);
-        assert(end != NULL);
+        ASSERT(start != NULL);
+        ASSERT(end != NULL);
         
         bool found_start = false;