]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/bootstrap/server/src/platform/x86_pc.cc
Update
[l4.git] / l4 / pkg / bootstrap / server / src / platform / x86_pc.cc
index 658bb72ab0b6562022771c7e6104a5ca3021e6d8..85a1c15297e4a7a93800147147b62b8c1d1aa3a7 100644 (file)
@@ -163,7 +163,7 @@ public:
 
 Platform_x86_loader_mbi _x86_pc_platform;
 
-#else // REALMODE_LOADING
+#else // IMAGE_MODE
 
 class Platform_x86_multiboot : public Platform_x86_1, public Boot_modules
 {
@@ -347,7 +347,7 @@ public:
 
 Platform_x86_multiboot _x86_pc_platform;
 
-#endif // !REALMODE_LOADING
+#endif // !IMAGE_MODE
 }
 
 extern "C"