1 files changed, 0 insertions, 54 deletions
diff --git a/boot.backup1/mach_proxy.h~ b/boot.backup1/mach_proxy.h~
deleted file mode 100644
index 28778402..00000000
--- a/boot.backup1/mach_proxy.h~
+++ /dev/null
@@ -1,54 +0,0 @@
-/* 
-   Copyright (C) 2009 Free Software Foundation, Inc.
-   Written by Zheng Da.
-
-   This file is part of the GNU Hurd.
-
-   The GNU Hurd is free software; you can redistribute it and/or modify
-   it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
-   any later version.
-
-   The GNU Hurd is distributed in the hope that it will be useful,
-   but WITHOUT ANY WARRANTY; without even the implied warranty of
-   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-   GNU General Public License for more details.
-
-   You should have received a copy of the GNU General Public License
-   along with the GNU Hurd; see the file COPYING.  If not, write to
-   the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
-
-#ifndef PROXY_H
-#define PROXY_H
-
-#include <mach.h>
-#include <hurd.h>
-#include <hurd/ports.h>
-
-#include "list.h"
-
-struct task_info
-{
-  struct port_info task;
-  task_t task_port;
-  /* The linked list is used to keep the order of tasks */
-  struct list list;
-};
-
-struct thread_info
-{
-  struct port_info thread;
-  thread_t thread_port;
-};
-
-extern struct port_bucket *port_bucket;
-extern struct port_class *task_portclass;
-extern struct port_class *thread_portclass;
-extern struct list task_list;
-
-int create_pseudo_task (task_t real_task, task_t *ret_pseudo_task);
-void clean_pseudo_task (void *pi);
-
-#define UNTESTED
-
-#endif