Changeset 457 for trunk/kernel/kern/printk.h

Timestamp:

Aug 2, 2018, 11:47:13 AM (5 years ago)

Author:

alain

Message:

This version modifies the exec syscall and fixes a large number of small bugs.
The version number has been updated (0.1)

File:

• trunk/kernel/kern/printk.h (modified) (1 diff)

trunk/kernel/kern/printk.h

@@ -41 +41 @@
 #define _PRINTK_H
 
-#include <hal_types.h>
+#include <hal_kernel_types.h>
 #include <stdarg.h>