scj7t4/FREEDM — Issue #10: Implement Device Casting in the Device Manager
Author: nickmame
Created: 2011-11-05 03:52:07+00:00
State: open

As of the latest commit, we can device_cast(DevicePtr). Device Manager should use this feature to provide an easy interface to access general device types.