Java
Java[прим. 1] — сильно типизированный объектно-ориентированный язык программирования, разработанный компанией Sun Microsystems (в последующем приобретённой компанией Oracle). Приложения Java обычно транслируются в специальный байт-код, поэтому они могут работать на любой компьютерной архитектуре с помощью виртуальной Java-машины. Дата официального выпуска — 23 мая 1995 года. На 2018 год Java — один из самых популярных языков программирования[1][2].
JX
JX реализована как расширенная виртуальная машина Java ("JX Core") с добавленной поддержкой необходимых функций, таких как домены защиты и доступа к оборудованию, а также целый ряд компонентов, написанных на Java, предоставляющих сервисы ядра для приложений пользовательского уровня. Так как Java является типобезопасным языком, JX в состоянии обеспечить изоляцию между запущенными приложениями без использования аппаратной защиты памяти. Этот метод, известный как language-based protection, означает что системные вызовы и межпроцессное взаимодействие в JX не вызывают переключения адресного пространства, операцию, медленную на большинстве компьютеров. JX работает на стандартных PC, и поддерживает ограниченное количество основных аппаратных компонентов. Является свободным программным обеспечением, разработанным в университете Эрлангена — Нюрнберга.