]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/mk/defconfig/config.sparc
update
[l4.git] / l4 / mk / defconfig / config.sparc
index c11708f93d6f8129590099916a5c211524f1c159..0ea75ecad09762652ac9cdd20427edf6200efc30 100644 (file)
@@ -1,6 +1,6 @@
 #
 # Automatically generated make config: don't edit
-# L4Re version: SVN
+# L4Re Configuration
 #
 # CONFIG_BUILD_ARCH_x86 is not set
 # CONFIG_BUILD_ARCH_amd64 is not set
@@ -14,8 +14,6 @@ CONFIG_CPU="v8"
 CONFIG_SPARC_PLATFORM_TYPE="leon3"
 # CONFIG_USE_DROPS_STDDIR is not set
 # CONFIG_USE_DICE is not set
-CONFIG_DROPS_STDDIR="/path/to/l4re"
-CONFIG_DROPS_INSTDIR="/path/to/l4re"
 CONFIG_BID_COLORED_PHASES=y
 
 #