Hi,
On Wed Jan 18, 2006 at 02:26:36 +0800, Liu Jian wrote:
there is a error when compling fiasco-1.2 on my pc. I do it following the course "Microkernel Construction Exercises":
1)Download and extract the Fiasco kernel from here http://os.inf.tu-dresden.de/fiasco/download/fiasco-1.2.tar.gz. 2)Switch to the directory *fiasco-1.2/l4/kernel/fiasco/* and create a build directory using *make BUILDDIR=build_ux**. 3)Run *make config* in this build directory and select UX as target platform (in 'Target System Options'). Leave the configuration menu with 'x'. 4)Build the kernel using *make*.
Looks somewhat familiar, try this:
--- src/lib/libk/std_macros.cpp 21 Jul 2005 14:50:37 -0000 1.12 +++ src/lib/libk/std_macros.cpp 21 Nov 2005 15:35:46 -0000 1.13 @@ -18,10 +18,10 @@ // must _not_ be declared `const'. Likewise, a function that calls a // non-`const' function usually must not be `const'. It does not make // sense for a `const' function to return `void'. -#define FIASCO_CONST __attribute__ ((const)) +#define FIASCO_CONST __attribute__ ((__const__))
#ifdef __i386__ -#define FIASCO_FASTCALL __attribute__ ((regparm(3))) +#define FIASCO_FASTCALL __attribute__ ((__regparm__(3))) #else #define FIASCO_FASTCALL #endif @@ -31,12 +31,12 @@ # define ALWAYS_INLINE /* empty */ # define FIASCO_NOINLINE #else -# define MARK_AS_DEPRECATED __attribute__ ((deprecated)) -# define ALWAYS_INLINE __attribute__ ((always_inline)) -# define FIASCO_NOINLINE __attribute__ ((noinline)) +# define MARK_AS_DEPRECATED __attribute__ ((__deprecated__)) +# define ALWAYS_INLINE __attribute__ ((__always_inline__)) +# define FIASCO_NOINLINE __attribute__ ((__noinline__)) #endif
-#define FIASCO_NORETURN __attribute__ ((noreturn)) +#define FIASCO_NORETURN __attribute__ ((__noreturn__))
IMPLEMENTATION: //-
HTH, Adam