From 8df772b3c665e663f6f9d2a70f9c691590bd3f91 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 19 Feb 2012 05:46:22 +0100
Subject: Drop files unrelated to DDE

---
 windhoek/main.c | 77 ---------------------------------------------------------
 1 file changed, 77 deletions(-)
 delete mode 100644 windhoek/main.c

(limited to 'windhoek/main.c')

diff --git a/windhoek/main.c b/windhoek/main.c
deleted file mode 100644
index c4e88666..00000000
--- a/windhoek/main.c
+++ /dev/null
@@ -1,77 +0,0 @@
-/**
- * \file   windhoek/server/src/main.c
- * \brief  Windhoek main function
- *
- * \date   2008-01-29
- * \author Bjoern Doebel <doebel@tudos.org>
- *
- * (c) 2008 Technische Universitaet Dresden
- * This file is part of DROPS, which is distributed under the terms of the
- * GNU General Public License 2. Please see the COPYING file for details.
- */
-#include <asm/current.h>
-
-#include <linux/kernel.h>
-#include <linux/completion.h>
-#include <linux/init.h>
-#include <linux/delay.h>
-#include <linux/wait.h>
-#include <linux/sched.h>
-#include <linux/workqueue.h>
-#include <linux/interrupt.h>
-#include <linux/fs.h>
-#include <linux/genhd.h>
-#include <linux/bio.h>
-#include <linux/hdreg.h>
-#include <linux/list.h>
-#include <linux/buffer_head.h>
-
-#include <dde.h>
-#include <ddekit/initcall.h>
-#include <ddekit/assert.h>
-#include <dde26.h>
-
-extern int bdev_cache_init(void);
-extern int ide_generic_init(void);
-extern int ide_cdrom_init(void);
-extern int genhd_device_init(void);
-
-int using_std = 1;
-
-int main(int argc, const char **argv)
-{
-	extern void ds_server(void);
-	int err;
-
-	l4dde26_init();
-	l4dde26_process_init();
-	l4dde26_init_timers();
-	l4dde26_softirq_init();
-	printk("DDE base system initialized.\n");
-	err = bdev_cache_init();
-	printk("Initialized blockdev caches. (%x)\n", err);
-
-	gendisk_init();
-	l4dde26_do_initcalls();
-
-	/* no generic driver, we use a dedicated one
-	 * XXX: make this a fallback if no other driver is found */
-#if 0
-	err = ide_generic_init();
-	printk("Initialized generic IDE driver. (%x)\n", err);
-#endif
-
-	printk("+----------------------------------------+\n");
-	printk("| Windhoek block server                  |\n");
-	printk("| ready to rumble....                    |\n");
-	printk("+----------------------------------------+\n");
-
-	register_block ();
-	mach_device_init();
-	trivfs_init();
-
-	cthread_detach (cthread_fork (ds_server, NULL));
-	trivfs_server();
-
-	return 0;
-}
-- 
cgit v1.2.3