Changes in kernel/generic/src/console/kconsole.c [e98f1c3e:24abb85d] 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>
@@ -54 +55 @@
 #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;