ChibiOS Free Embedded RTOS

Well, let's try to make it work on ChibiOS 3 then...

EDIT: maybe I didn't make that clear, I supposed it was obvious from the fact I was talking about problems AFTER the compilation.
I am using two distinct versions of the stuff, one "vanilla" from ChibiOS-Contrib and one opportunely modified in ...

Of course, it is your code "translated" in order to work on ChibiOS 2.6, but since neither the one from ChibiOS-Contrib "vanilla" is working I think that's not the problem.

What do you mean by toolchain?
I ported Marco's code on ChibiOS 2.6, but even trying the original code (written on top of ChibiOS 3) the sleep syscalls fail.
To be completely honest I just helped a friend of mine, who is the one actually owning the TIVA hardware.
I compile using directly the ...

Well, I tried a less ortodox solution turning on a led immediately before the chDbgPanic(), in chDbgCheckClassS() as I said.
The led turns on so I guess it actually fails.
I don't have idea how to use the debugging features, if I need extra hardware I don't have it, so I had to use this other ...

I'm using the TM4C1294 part, with a demo copied from the one I guess you wrote.
I didn't touch the chconf.h, nevertheless here is the code:
- chconf.h: http://pastebin.com/MKUAJSyG
- main.c: http://pastebin.com/Aj0zvgxF

Just to be clear, I don't know very much about ChibiOS since ...

Hi, I tried the TIVA port and had problems with timer related code.
Specifically, every time I use chThreadSleep*() the system fails in chSchGoSleepTimeoutS(), when calling chDbgCheckClassS().
I am not sure where to start debugging this malfunctioning, so I ask you:

- Where can I look in order to ...