Re-designing the kernel device_manager

4 posts were split to a new topic: How can we keep signal/noise high in the forum?