zoidberg 
Hi, guys! Is there anybody who managed to run run xenomai on this board? I applied ipipe patch and received #error "Unsupported ARM machine" when building kernel/xenomai/arch/generic/hal.c. I guess the official support of s3c64XX was not delivered yet. But maybe there are some more or less simple ways to port it by myself? maybe someone faced this problem? Thx.