kernel platform