Federal award (DEFINITIVE CONTRACT, fiscal year 2024)
Recipient: REGENTS OF THE UNIVERSITY OF CALIFORNIA AT RIVERSIDE
Awarding agency: Department of Defense / Department of the Air Force
Funding agency: Department of Defense / Department of the Air Force
Period of performance: 2025-04-24 to 2028-06-24
Current total value of award: $1128000
Description: LOYAL SENTRY II THE OBJECTIVE OF THIS EFFORT IS TO BUILD CARRELS, A PLATFORM FOR HIGH ASSURANCE MICROSERVICES BASED ON THE FORMALLY VERIFIED SEL4 MICROKERNEL.