added kerneldev manifest