Trying to fix merge / revert problems related to the thread library.

Revert "Merge branch 'libl4thread' of git://www.b-labs.co.uk/bora/git/codezero into bora"

This reverts commit dc7fd0d24d.

conts/libl4thread/include/l4thread/addr.h

@@ -1,27 +0,0 @@
-/*
- * Address allocation pool
- *
- * Copyright (C) 2007 Bahadir Balban
- */
-#ifndef __ADDR_H__
-#define __ADDR_H__
-
-#include <idpool.h>
-
-/* Address pool to allocate from a range of addresses */
-struct address_pool {
-	struct id_pool *idpool;
-	unsigned long start;
-	unsigned long end;
-};
-
-int address_pool_init_with_idpool(struct address_pool *pool,
-				  struct id_pool *idpool,
-				  unsigned long start, unsigned long end);
-int address_pool_init(struct address_pool *pool,
-			unsigned long start, unsigned long end,
-			int size);
-void *address_new(struct address_pool *pool, int npages);
-int address_del(struct address_pool *, void *addr, int npages);
-
-#endif /* __ADDR_H__ */

conts/libl4thread/include/l4thread/tcb.h

@@ -1,35 +0,0 @@
-/*
- * Thread control block.
- *
- * Copyright (C) 2009 B Labs Ltd.
- */
-#ifndef __LIB_TCB_H__
-#define __LIB_TCB_H__
-
-#include <l4/lib/list.h>
-
-/* Keeps all the struct utcb_descs belonging to a thread group together. */
-struct utcb_head {
-	struct link list;
-};
-
-/* A simple thread control block for the thread library. */
-struct l4t_tcb {
-	struct link list;
-	int tid;
-	struct utcb_head *utcb_head;
-	unsigned long utcb_addr;
-};
-
-/* This struct keeps track of all the threads handled by the thread lib. */
-struct l4t_global_list {
-	int total;
-	struct link list;
-};
-
-struct l4t_tcb *l4t_find_task(int tid);
-struct l4t_tcb *l4t_tcb_alloc_init(struct l4t_tcb *parent, unsigned int flags);
-void l4t_global_add_task(struct l4t_tcb *task);
-void l4t_global_remove_task(struct l4t_tcb *task);
-
-#endif /* __LIB_TCB_H__ */

conts/libl4thread/include/l4thread/thread.h

@@ -1,18 +0,0 @@
-/*
- * Thread creation userspace helpers
- *
- * Copyright (C) 2009 B Labs Ltd.
- */
-#ifndef __LIB_THREAD_H__
-#define __LIB_THREAD_H__
-
-int set_stack_params(unsigned long stack_top,
-			unsigned long stack_bottom,
-			unsigned long stack_size);
-int set_utcb_params(unsigned long utcb_start, unsigned long utcb_end);
-
-int l4thread_create(struct task_ids *ids, unsigned int flags,
-			int (*func)(void *), void *arg);
-void l4thread_kill(struct task_ids *ids);
-
-#endif /* __LIB_THREAD_H__ */

conts/libl4thread/include/l4thread/utcb-common.h

@@ -1,25 +0,0 @@
-/*
- * UTCB handling common helper routines
- *
- * Copyright (C) 2009 B Labs Ltd.
- */
-#ifndef __UTCB_COMMON_H__
-#define __UTCB_COMMON_H__
-
-#include <l4/lib/list.h>
-
-struct utcb_desc {
-	struct link list;
-	unsigned long utcb_base;
-	struct id_pool *slots;
-};
-
-int utcb_pool_init(unsigned long utcb_start, unsigned long utcb_end);
-
-unsigned long utcb_new_slot(struct utcb_desc *desc);
-int utcb_delete_slot(struct utcb_desc *desc, unsigned long address);
-
-struct utcb_desc *utcb_new_desc(void);
-int utcb_delete_desc(struct utcb_desc *desc);
-
-#endif /* __UTCB_COMMON_H__ */

conts/libl4thread/include/l4thread/utcb.h

@@ -1,14 +0,0 @@
-/*
- * UTCB handling helper routines
- *
- * Copyright (C) 2009 B Labs Ltd.
- */
-#ifndef __LIB_UTCB_H__
-#define __LIB_UTCB_H__
-
-#include <tcb.h>
-
-unsigned long get_utcb_addr(struct l4t_tcb *task);
-int delete_utcb_addr(struct l4t_tcb *task);
-
-#endif /* __LIB_UTCB_H__ */