[LITMUS^RT] Error compiling litmus kernel

[Daniele Accattoli]

Thanks for the suggestion, now I get this error from the linker:

  CC      init/version.o
  LD      init/built-in.o
  LD      .tmp_vmlinux1
litmus/built-in.o: In function `__cmpxchg':
/home/marvin2/litmus_git/litmus-rt/arch/arm/include/asm/system.h:422:
undefined reference to `__bad_cmpxchg'
litmus/built-in.o: In function `sys_release_ts':
/home/marvin2/litmus_git/litmus-rt/litmus/sync.c:147: undefined
reference to `__aeabi_uldivmod'
make: *** [.tmp_vmlinux1] Error 1

I found that:
1 - __bad_cmpxchg is defined as extern in system.h but the linker
doesn't find any reference to it
2 - I wasn't able to find __aeabi_uldivmod in litmus source.

Any suggestion? Thanks in advance.