Documentation for the IDE kernel is not yet available.