X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/51f012d0ec4f0ad687159ed6685b73f90f1cfc71..003b628647705666de261350195da72a38f2c4d2:/l4/pkg/bootstrap/server/src/platform/x86_pc.cc diff --git a/l4/pkg/bootstrap/server/src/platform/x86_pc.cc b/l4/pkg/bootstrap/server/src/platform/x86_pc.cc index 658bb72ab..85a1c1529 100644 --- a/l4/pkg/bootstrap/server/src/platform/x86_pc.cc +++ b/l4/pkg/bootstrap/server/src/platform/x86_pc.cc @@ -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"