made kernel sources accessible via array indexed by id.