Вопрос к тому кто работает в данной области. Я в этом направлении не работал, интересно было бы узнать, поскольку возможно в будущем пригодиться. Какие прикладные задачи связаны именно с kernel development? Какие инструменты используются?