Ultra lightweight linux kernel development toolkit