The resource manager for ALIEN devices