Changeset 457 for trunk/hal/generic/hal_vmm.h

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/hal/generic/hal_vmm.h (modified) (1 diff)

trunk/hal/generic/hal_vmm.h

@@ -25 +25 @@
 #define _HAL_PPM_H_
 
-#include <hal_types.h>
+#include <hal_kernel_types.h>
 #include <boot_info.h>