openPR Logo
Press release

Embedded System Security Solutions Expanded with New Commits To Open Source seL4 Community

01-15-2019 10:10 AM CET | IT, New Media & Software

Press release from: DornerWorks

A robust data security solution is worth all you can’t afford to lose.

Leading developers in aerospace, defense, medical, and industrial markets are launching innovative and secure new products leveraging cost-effective open source solutions. They know there is an alternative to costly proprietary systems, and they are protecting their IP and reputation with engineering guidance from DornerWorks.

The seL4 microkernel is a cost-effective, open source option that delivers software security backed by mathematical proof on verified hardware platforms. Supported by a thriving community of open source development teams, including engineers from DornerWorks, the source code has been made available for download by Data61.

The seL4 Center of Excellence, with founding members DornerWorks, DARPA, and Intelligent Automation, Inc., has been working to expand the seL4 ecosystem through development and implementation. Robert VanVossen, a DornerWorks engineer who led the seL4 development team to win a SBIR contract from the US Navy, has recently published a number of useful and important implementations to the open source seL4 community.

New Features for seL4 v8.0:
-NXP Platform support
-ARMv8 Virtualization (Specifically for the NXP i.MX8 and the Xilinx Zynq UltraScale+)
-GIC500 driver (both kernel and virtualized)
-SMMUv2 Driver
-Virtualized UART Driver
-Virtual channel framework
-Example VMM configurations

Find a complete list of commit details and instructions on how to use them here:

These features, as part of a project funded by TARDEC, support seL4 (v8.0) implementations, and are complementary to Data61’s ARMv8 virtualization that supports the NVIDIA Jetson TX1. DornerWorks is working with Data61 to merge these two systems for the most current version of seL4.

Data security has never been more important, and seL4 is already providing a foundation for that security in some of the US Armed Forces’ most innovative projects. Supported by a community of cybersecurity engineers, the open source seL4 microkernel is a cost-effective and robust solution for any company that wants to improve its security story, and protect the data of its clients.

With guidance from the DornerWorks engineers who are actively contributing to the seL4 ecosystem, building and applying the formal proof of the seL4 microkernel to new or existing products is simple. Contact DornerWorks today to set up a free consultation and learn how seL4 can keep you two steps ahead of the competition.

DornerWorks provides technology engineering so you can focus on your customers. With embedded electronics, FPGA, and software engineering expertise, we accelerate your product development and lower risk for adopting advanced technologies. One of our specialties is embedded virtualization technology, including Virtuosity hypervisor and seL4 secure microkernel-based solutions. For more information, visit

Matthew Russell
Marketing Specialist
DornerWorks, Ltd.
3445 Lake Eastbrook Blvd. SE

This release was published on openPR.

Permanent link to this press release:

Please set a link in the press area of your homepage to this press release on openPR. openPR disclaims liability for any content contained in this release.

You can edit or delete your press release Embedded System Security Solutions Expanded with New Commits To Open Source seL4 Community here

News-ID: 1496376 • Views:

More Releases from DornerWorks

It used to be challenging to build a secure system from the ground up. Developers now have an "easy button" to overcome that challenge. DornerWorks' Secure Microkernel Virtual Machine (VM) Composer helps teams deploy virtualized high-assurance systems with ease. VM Composer is a cutting-edge modeling tool that simplifies the process of building secure systems, removing the obstacles and enabling teams to focus on growing their business. With the drag-and-drop interface, non-experts
DornerWorks Named Detroit Free Press Top Workplace For 2022
DornerWorks Named Detroit Free Press Top Workplace For 2022
DornerWorks has been named a Top Workplace in the Detroit Free Press list of Top 100 Work Places for 2022 based on positive responses from team members. Only 200 companies made this year's list - being named a Top Work Place is a tremendous honor, as each is nominated by their own employees. "Our culture has been built over the 22 years of DornerWorks existence through the ideas and initiatives of our
An Accelerated and Configurable Path to Launching Products Connected through Apple HomeKit
An Accelerated and Configurable Path to Launching Products Connected through App …
HomeKitLights improves on Apple's HomeKit user experience for IoT-enabled devices and demonstrates expertise companies can use to reach Apple MFi certification. GRAND RAPIDS, MI, April 20 - Innovators that want to better their customers lives by connecting their products through a mobile app can tap into a rapidly growing market by integrating their products with popular management apps like Apple HomeKit. But the path to that market can be challenging, especially
Army CMS SW Runs on Sierra Nevada Corp. Ruggedized Tablet Enabled by Virtuosity OA Certified to FACE Technical Standard
Army CMS SW Runs on Sierra Nevada Corp. Ruggedized Tablet Enabled by Virtuosity …
On the front lines of battle, it's important to know who's on your side. One of the most powerful weapons modern warfighters have today is information, and Sierra Nevada Corporation's ultra-wideband wireless network is helping modern warfighters make safer, better-informed decisions. They're doing it all with the help of DornerWorks Virtuosity® OA (Open Architecture) OSS, a cost-effective virtualized development platform. Virtuosity OA is certified to the Open Group FACETM Technical Standard, making

All 5 Releases

More Releases for Data

We are at the cross-roads of a universe that is composed of actors, entities and use-cases; along with the associated data relationships across zillions of business scenarios. Organizations must derive the most out of data, and modern AI platforms can help businesses in this direction. These help ideally turn Big Data into plug-and-play pieces of information that are being widely known as Smart Data. Specialized components backed up by AI and
Global Data Analytics Outsourcing Market |data analytics outsourcing, big data o …
Market Research Reports Search Engine (MRRSE) has been serving as an active source to cater intelligent research report to enlighten both readers and investors. This research study titled “Global Data Analytics Outsourcing Market “ The report on data analytics outsourcing market provides analysis for the period 2016 – 2026, wherein 2018 to 2026 is the forecast period and 2017 is the base year. The report covers major trends and technologies playing
Test Data Management (TDM) Market - test data profiling, test data planning, tes …
The report categorizes the global Test Data Management (TDM) market by top players/brands, region, type, end user, market status, competition landscape, market share, growth rate, future trends, market drivers, opportunities and challenges, sales channels and distributors. This report studies the global market size of Test Data Management (TDM) in key regions like North America, Europe, Asia Pacific, Central & South America and Middle East & Africa, focuses on the consumption
Data Prep Market Report 2018: Segmentation by Platform (Self-Service Data Prep, …
Global Data Prep market research report provides company profile for Alteryx, Inc. (U.S.), Informatica (U.S.), International Business Corporation (U.S.), TIBCO Software, Inc. (U.S.), Microsoft Corporation (U.S.), SAS Institute (U.S.), Datawatch Corporation (U.S.), Tableau Software, Inc. (U.S.) and Others. This market study includes data about consumer perspective, comprehensive analysis, statistics, market share, company performances (Stocks), historical analysis 2012 to 2017, market forecast 2018 to 2025 in terms of volume, revenue, YOY
Long Term Data Retention Solutions Market - The Increasing Demand For Big Data W …
Data retention is a technique to store the database of the organization for the future. An organization may retain data for several different reasons. One of the reasons is to act in accordance with state and federal regulations, i.e. information that may be considered old or irrelevant for internal use may need to be retained to comply with the laws of a particular jurisdiction or industry. Another reason is to
Data Quality and Data Governance Solution Market - Demand For Cost-Effective Dat …
In the enterprise data management ecosystem, data quality is a broad term which refers to the quality, integrity, and consistency of data and/or process etc. Data quality also implies the degree of data accuracy and consistency. On the other hand, data governance focusses on the management of data assets by assigning authority, control, and responsibility of data and encompasses three key areas: people, process, and technology. Data quality and data governance