config.h File Reference

#include <globalconfig.h>
#include "config_tcbsize.h"
#include "l4_types.h"

Go to the source code of this file.

Defines
#define	STRINGIFY_(x)   #x
#define	STRINGIFY(x)   STRINGIFY_(x)
#define	COMPILER   "Non-GCC"
#define	GCC_VERSION   0
#define	GREETING_COLOR_ANSI_OFF   "\033[0m"
#define	GREETING_COLOR_ANSI_TITLE   "\033[1;32m"
#define	GREETING_COLOR_ANSI_INFO   "\033[0;32m"
#define	ARCH_NAME   "x86"
#define	CONFIG_KERNEL_VERSION_STRING

---

Define Documentation

#define ARCH_NAME   "x86"

#define COMPILER   "Non-GCC"

#define CONFIG_KERNEL_VERSION_STRING

Value: GREETING_COLOR_ANSI_TITLE "Welcome to Fiasco("CONFIG_XARCH")!\\n" \ GREETING_COLOR_ANSI_INFO "DD-L4("CONFIG_ABI")/" ARCH_NAME " " \ "microkernel (C) 1998-2005 TU Dresden\\n" \ "Rev: " CODE_VERSION " compiled with gcc " COMPILER \ " for " CONFIG_IA32_TARGET \ GREETING_COLOR_ANSI_OFF

#define GCC_VERSION   0

#define GREETING_COLOR_ANSI_INFO   "\033[0;32m"

#define GREETING_COLOR_ANSI_OFF   "\033[0m"

#define GREETING_COLOR_ANSI_TITLE   "\033[1;32m"

#define STRINGIFY (  x   )     STRINGIFY_(x)

#define STRINGIFY_ (  x   )     #x

---