Extract:
OBJECTIVE: Current commodity computer hardware and software are
proprietary. A thorough security review cannot be performed on
systems with undisclosed components. Offeror shall research high
assurance computer security based on a completely open hardware and
software platform following Saltzer and Schroeder’s open design
principles from 1975.
...
PHASE I: For the Phase I proposal, offeror shall describe the
feasibility of creating a high assurance open computer hardware and
software architecture based on the “open design principles” from
Saltzer and Schroeder in 1975 [3]: (1) Propose open source hardware
and open source OS for a high assurance system. (2) describe the
project development tools; (3) provide a plan to achieve an
Evaluation Assurance Level Six (EAL6) [13] or higher rating for the
operating system; (4) describe potential Army Applications (Joint
Multi-Role Technology Demonstrator [16]) and commercial
applications; and (5) provide a business model to market the
proposed system.
...
Put your proposals in muffas!
Anyone in comm with someone at puri.sm, please forward this to them...
----- Forwarded message from Gernot.Heiser@data61.csiro.au -----
From: Gernot.Heiser@data61.csiro.au
To: devel@sel4.systems
Date: Tue, 9 Oct 2018 03:22:25 +0000
Subject: [seL4] US Army SBIR calls for open HW/SW stack
x-mailer: Apple Mail (2.3445.9.1)
X-Spam-Level:
List-Id: Discussion of development and use of seL4