The rt_misc_get_io_region() has the "start" argument as an unsigned long. On the PPC440, we have a 36-bit address space, where the I/O registers are generally above the 4GB area. For example, the UART is at address 0x1ef600300.
The Linux request_region call has "start" typed as a resource_size_t, which is a u64 on the PPC440 (i.e. CONFIG_RESOURCES_64BIT is set even though this is a 23-bit processor). Is this something that should be handled by xeno-config? It could append a CFLAG indicating the size of a resource. Steve _______________________________________________ Xenomai-core mailing list Xenomaifirstname.lastname@example.org https://mail.gna.org/listinfo/xenomai-core