Обсудить лекции или задать вопросы можно в рассылке
		
 
		
		      
  
  - Зачем так много разных ядер?
 
  - Что собой представляет Enforces policy ?
 
  - Каким образом доставляются DMA данные в userspace пространство драйвера?
 
  - Опишите пожалуйста основные компоненты Genode framwork
 
  - Почему Resource multiplexer должен использовать heap partition?
 
  - Что такое kernelizing
 
  - Каким образом в nitpicker доставляются input events нужному обработчику?
 
  - Зачем добавлена x-ray кнопка?
 
  - Меняются ли приоритеты и/или тайм слайсы реал тайм апликейшенов? каким образом