Loyal sentry II

Active Definitive Contract Awarded Last action

Contract number
FA875025CB041
Awardee
Awarding agency
Obligated
$629,000

Award facts

Opportunity
Contract value 56% obligated
$1,128,000.00 Current and potential, with all options
Completion date 48% complete
Current and potential, with all options
Contracting staff
Set-aside
No set-aside
Competition
Full and Open Competition · 2 offers Basic Research
Pricing
Cost No Fee
Place of performance
Riverside, CA 92521, USA
Legislative mandates

Award details come from SAM.gov/FPDS.

Transactions

Action Obligated Date
Supplemental Agreement for work within scope P00006 · 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. $0
Funding Only Action P00005 $219,000
Funding Only Action P00004 $30,000
Funding Only Action P00002 $226,000
Funding Only Action P00001 $14,000
Original award 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. $140,000

About this award

The Air Force Research Laboratory awarded a definitive contract to The Regents of the University of California (UC Riverside) for $1.128 million on April 24, 2025, under a cost-no-fee pricing structure with no set-aside used. The contract funds development of CARRELS, a platform for high-assurance microservices based on the formally verified seL4 microkernel.

Performance is located in Riverside, CA 92521. The contract stems from the Department of the Air Force Materiel Command's Capabilities for Cyber Advancement Broad Agency Announcement, which solicits innovative cyber technologies to support Air Force and Space Force missions. The BAA emphasizes next-generation technologies across cloud architectures, cyber modeling and simulation, secure development tools, and zero trust computing. Work concludes June 24, 2028.

Quick answers

Who was awarded contract FA875025CB041?

FA875025CB041 was awarded to The Regents Of The University Of California by Air Force Research Laboratory (Air Force Materiel Command) on April 24, 2025.

How much is contract FA875025CB041 worth?

The government has obligated $629,000 on FA875025CB041. Its current value, with exercised options, is $1,128,000.

Was contract FA875025CB041 competed?

The extent of competition for FA875025CB041 was full and open competition. The government received 2 offers.

On GovTribe

See this award's full record

  • Every transaction and funding action
  • The awardee's other awards and teaming partners
  • Similar awards and recompete opportunities
  • Ask GovTribe AI about this award