1 files changed, 1 insertions, 12 deletions
diff --git a/src/VBox/Frontends/VBoxBFE/DisplayImpl.cpp b/src/VBox/Frontends/VBoxBFE/DisplayImpl.cpp
index 53893b44e..5bdd60e4c 100644
--- a/src/VBox/Frontends/VBoxBFE/DisplayImpl.cpp
+++ b/src/VBox/Frontends/VBoxBFE/DisplayImpl.cpp
@@ -1,4 +1,4 @@
-/* $Id: DisplayImpl.cpp $ */
+/* $Id: DisplayImpl.cpp 36590 2011-04-06 15:35:26Z vboxsync $ */
 /** @file
  * VBox frontends: Basic Frontend (BFE):
  * Implementation of Display class
@@ -37,12 +37,6 @@
 #include <iprt/asm.h>
 #include <iprt/uuid.h>
 
-#ifdef RT_OS_L4
-# include <stdio.h>
-# include <l4/util/util.h>
-# include <l4/log/l4log.h>
-#endif
-
 #include "DisplayImpl.h"
 #include "Framebuffer.h"
 #include "VMMDev.h"
@@ -390,12 +384,7 @@ void Display::updateDisplayData()
 
     while(!mFramebuffer)
     {
-#if RT_OS_L4
-      asm volatile ("nop":::"memory");
-      l4_sleep(5);
-#else
       RTThreadYield();
-#endif
     }
     Assert(mFramebuffer);
     // the driver might not have been constructed yet