When I compile with gcc 4.2.1 on x86_64 (I modified the makefile to compile 32bit), it starts compiling and then I get:

[...]

CC /home/piranha/Desktop/minirighi32-0.10.03/minirighi-distrib/os/arch/i386/kernel/exception.c
/home/piranha/Desktop/minirighi32-0.10.03/minirighi-distrib/os/arch/i386/kernel/exception.c: In function ‘default_exception’:
/home/piranha/Desktop/minirighi32-0.10.03/minirighi-distrib/include/kernel/task.h:221: sorry, unimplemented: inlining failed in call to ‘get_pid’: function body not available
/home/piranha/Desktop/minirighi32-0.10.03/minirighi-distrib/os/arch/i386/kernel/exception.c:145: sorry, unimplemented: called from here
/home/piranha/Desktop/minirighi32-0.10.03/minirighi-distrib/include/kernel/task.h:222: sorry, unimplemented: inlining failed in call to ‘get_pname’: function body not available
/home/piranha/Desktop/minirighi32-0.10.03/minirighi-distrib/os/arch/i386/kernel/exception.c:145: sorry, unimplemented: called from here
/home/piranha/Desktop/minirighi32-0.10.03/minirighi-distrib/include/kernel/sched.h:31: sorry, unimplemented: inlining failed in call to ‘sched_is_disabled’: function body not available
/home/piranha/Desktop/minirighi32-0.10.03/minirighi-distrib/os/arch/i386/kernel/exception.c:76: sorry, unimplemented: called from here
/home/piranha/Desktop/minirighi32-0.10.03/minirighi-distrib/include/kernel/sched.h:30: sorry, unimplemented: inlining failed in call to ‘sched_leave_critical_region’: function body not available
/home/piranha/Desktop/minirighi32-0.10.03/minirighi-distrib/os/arch/i386/kernel/exception.c:78: sorry, unimplemented: called from here
make[1]: *** [/home/piranha/Desktop/minirighi32-0.10.03/minirighi-distrib/os/arch/i386/kernel/exception.o] Error 1

Can I fix this?

This has been fixed in 0.12.x.

-Andrea