update

[l4.git] / kernel / fiasco / src / kern / config.cpp

diff --git a/kernel/fiasco/src/kern/config.cpp b/kernel/fiasco/src/kern/config.cpp
index 15d125c5732c6289b10a1293f36b3b90c733ab8f..aa61013fb44570560b3694f79c41727fbb308152 100644 (file)
--- a/kernel/fiasco/src/kern/config.cpp
+++ b/kernel/fiasco/src/kern/config.cpp
@@ -27,7 +27,7 @@ INTERFACE:
 
 #define GREETING_COLOR_ANSI_OFF    "\033[0m"
 
-#define FIASCO_KERNEL_SUBVERSION 1
+#define FIASCO_KERNEL_SUBVERSION 2
 
 class Config
 {
@@ -111,6 +111,8 @@ public:
 #endif
   };
 
+  static Cpu_number max_num_cpus() { return Cpu_number(Max_num_cpus); }
+
   static bool getchar_does_hlt_works_ok;
   static bool esc_hack;
   static unsigned tbuf_entries;
@@ -195,6 +197,17 @@ public:
   static const int serial_esc = 0;
 };
 
+
+//---------------------------------------------------------------------------
+INTERFACE [!virtual_space_iface]:
+
+#define FIASCO_SPACE_VIRTUAL
+
+//---------------------------------------------------------------------------
+INTERFACE [virtual_space_iface]:
+
+#define FIASCO_SPACE_VIRTUAL virtual
+
 //---------------------------------------------------------------------------
 IMPLEMENTATION: