#
# 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
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
#