aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/tools/verification/models/rtapp
AgeCommit message (Expand)AuthorFilesLines
2026-07-24rv/rtapp: Add wakeup monitorNam Cao1-0/+5
2026-07-24rv/rtapp/sleep: Stop monitoring kernel threadsNam Cao1-5/+2
2026-07-24rv/rtapp/sleep: Update nanosleep ruleNam Cao1-1/+1
2026-07-24rv/rtapp/sleep: Make the error more informative for userNam Cao1-1/+1
2026-04-01rv: Allow epoll in rtapp-sleep monitorNam Cao1-0/+1
2025-07-09rv: Add rtapp_sleep monitorNam Cao1-0/+22
2025-07-09rv: Add rtapp_pagefault monitorNam Cao1-0/+1