Adding address space structure to ktcbs. Still booting until virtual memory is enabled.

include/l4/generic/tcb.h

@@ -10,6 +10,7 @@
 #include <l4/lib/mutex.h>
 #include <l4/generic/scheduler.h>
 #include <l4/generic/pgalloc.h>
+#include <l4/generic/space.h>
 #include INC_GLUE(memory.h)
 #include INC_GLUE(syscall.h)
 #include INC_GLUE(message.h)
@@ -39,12 +40,6 @@ struct task_ids {
 	l4id_t tgid;
 };
 
-/* A simple page table with a reference count */
-struct address_space {
-	struct pgd_table_t *pgd;
-	int ktcb_refs;
-};
-
 struct ktcb {
 	/* User context */
 	task_context_t context;