[seL4] US Army SBIR calls for open HW/SW stack

[Zenaan Harkness]

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 at data61.csiro.au -----

From: Gernot.Heiser at data61.csiro.au
To: devel at 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 <devel.sel4.systems>

… and mentions seL4 prominently: https://www.sbir.gov/sbirsearch/detail/1508741
_______________________________________________
Devel mailing list
Devel at sel4.systems
https://sel4.systems/lists/listinfo/devel

----- End forwarded message -----