Changeset c0699467 in mainline for kernel/arch/ia32/src

Timestamp:

2011-08-09T18:08:23Z (14 years ago)

Author:

Martin Decky <martin@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

b538ca5c

Parents:

3666d386

Message:

do not provide general access to kernel headers from uspace, only allow specific headers to be accessed or shared
externalize headers which serve as kernel/uspace API/ABI into a special tree

Location:

kernel/arch/ia32/src

Files:

• drivers/vesa.c (modified) (1 diff)
• smp/smp.c (modified) (1 diff)
• userspace.c (modified) (1 diff)

kernel/arch/ia32/src/drivers/vesa.c

@@ -38 +38 @@
 
 #include <genarch/fb/fb.h>
-#include <genarch/fb/visuals.h>
 #include <arch/drivers/vesa.h>
 #include <console/chardev.h>

kernel/arch/ia32/src/smp/smp.c

@@ -42 +42 @@
 #include <config.h>
 #include <synch/waitq.h>
-#include <synch/synch.h>
 #include <arch/pm.h>
 #include <func.h>

kernel/arch/ia32/src/userspace.c

@@ -37 +37 @@
 #include <typedefs.h>
 #include <arch.h>
-#include <proc/uarg.h>
+#include <abi/proc/uarg.h>
 #include <mm/as.h>
-
 
 /** Enter userspace