--- a/cos/kernel/kernel.c	Tue Jan 24 17:54:16 2012 +0100
+++ b/cos/kernel/kernel.c	Fri Feb 03 17:56:41 2012 +0100
@@ -13,23 +13,7 @@
    // From here kmalloc can be used.
    keyboard_init();
    timer_init();
-   printf("Ramdisk location: %p\n", ramdisk_location);
-
-   /*
-   fs_node_t *fs_root = 0;
-   
-   fs_root = initialize_initrd(ramdisk_location);
-
-   if (fs_root != 0)
-   {
-      fs_dirent_t *node = 0;
-      int i = 0;
-      while ( (node = readdir_fs(fs_root, i)) != 0)
-      {
-
-      }
-   }
-   */
+   load_ramdisk();
 
    // TODO: make shell a user space program!
    shell(); // Start user shell