kernel design approaches | davejingtian.org