An unfinished kernel (old and abandoned)