Header: kern_control.h