This ticket was originally part of ticket #36 but the change was independent and significant enough to warrant breaking this out into a separate review item.

This will fix some issues with the OS Module API:

• CPU addresses must be stored using the "cpuaddr" type, not uint32.

• The "OS_module_record_t" should be made into an OS-dependent structure, as the different OS layers may have different sets of data that they need to retain for loaded modules. This will also make it more consistent with the other APIs -- e.g. Tasks, Queues, Semaphores all define their internal record structures in the OS-specific implementation and not part of the public API.

• The OS_ModuleInfo() call should return a standardized structure and not the direct internal record. This will also be more consistent with the way the other APIs do this where they have a separate "prop" structure that is returned that is defined as part of the public API.