[Xenomai-help] rtdm driver Problems

["Axel Beierlein" <belatronix@domain.hid>]

Hello,

i try to port a standard serial Driver into an RTDM one following Jan´s  
example 16550A.c.
When i try to initialize the rx/tx timeouts in my set_config routine with:

	if (testbits(config->config_mask, RTSER_SET_TIMEOUT_RX))
            ctx->config.rx_timeout = config->rx_timeout;

and call an rt_dev_open("sername",0) in my testapplikation i get an  
"floating point used in kernel ...." on my ppc.
I use all the structures that Jan have defined.
Could it bee that the uint64_t var´s rx_timeout / tx_timeout are the  
reasons (especially the <unsigned long long int> typedef for an ppc)?

Axel