Главная Обзор Помощь
Регистрация Вход
Aarav90-cpu
/
ARK-OS
1
0
Ответвить 0
Файлы Задачи 0 Вики
Дерево: 96be7c1dab
Ветки Метки
ARK-OS
/
arkos
/
kernel
/
tools
/
verification
/
models
/
rtapp
/
pagefault.ltl

pagefault.ltl 39 B
История Исходник

1 
  1. RULE = always (RT imply not PAGEFAULT)
    2.