module OrigenARMDebugDev