Changeset 457 for trunk/kernel/syscalls/sys_get_config.c

Timestamp:

Aug 2, 2018, 11:47:13 AM (6 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/syscalls/sys_get_config.c (modified) (1 diff)

trunk/kernel/syscalls/sys_get_config.c

@@ -22 +22 @@
  */
 
-#include <hal_types.h>
+#include <hal_kernel_types.h>
 #include <hal_uspace.h>
 #include <hal_special.h>