Skip to content
Abierto

Award notice

Loyal Sentry II

FA875025CB041

Department of the Air Force, FA8750 AFRL Rik. Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology).

Awarded

The Regents of the University of California

$1,128,000.00 on the award notice, April 24, 2025, contract FA875025CB041

The contract, on USAspending

Federal procurement data the awarding office reported to FPDS, matched to this solicitation by its number.

UEI
MR5QC5FCAVH5
CAGE
4W611
Vendor location
Riverside, CA
Contract
FA875025CB041, definitive contract
Obligated
$749,000.00, current value $1,128,000
Actions
6 between April 24, 2025 and April 8, 2026
Competition
Full and Open Competition, 2 offers received
Set-aside reported
No Set Aside Used.
Described as
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.
Match
award number FA875025CB041 equals the contract number; same awarding office FA8750 (high confidence)

Publications

Every notice SAM.gov issued under this solicitation number, oldest first. Each is a separate record on SAM.

  1. April 30, 2025

    Award notice

    Awarded to REGENTS OF THE UNIVERSITY OF CALIFORNIA AT RIVERSIDE Riverside for $1,128,000. SAM.gov, notice 363fc5a68d8147dcb312adb64a577b82

Points of contact