Таки мне удалось формализовать описание расширения системы команд микропроцессора для реализации микроядра L4 на кристалле. Бонусом идёт аппаратный планировщик. Пока речь не идёт об адресных пространствах и об MMU сказано лишь несколько строк. Хотелось бы задать несколько вопросов специалистам по VHDL/Verilog и юристам по патентному праву. Я в правильное место попал?