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: 1757

More Releases from DornerWorks

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 …
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
A Future-Facing Framework That Maps Out Multicore Architecture Isolation and Par …
Multi-core processing platforms, isolation, and partitioning aren’t the first thing most people think of when they’re flying through the air at 30,000 feet, and that’s exactly the way it should be. When a passenger in business class orders a decaf coffee from the console on the seat in front of him, that demand on the passenger plane’s processing capacity shouldn’t interfere with the navigation system in the cockpit. In traditional system

All 4 Releases

More Releases for Data

Weather Station Data Logger Collects Meteorological Data
Complete Weather monitoring using an Intelligent Universal Data Logger A construction company needed to collect meteorological data to study the effects of building materials such as roofing tile. CAS DataLoggers provided the dataTaker DT-85 for an environmental monitoring solution. Long-term monitoring of a variety of weather data is required to determine how the products perform under harsh environmental conditions. The field engineer desired a single recording device to connect with
How to turn Data into Smart Data
Both enterprises and individuals have to process some kind of data every day, whether it is a short message, a notification, a piece of news, statistics, a video, etc. If we accumulate all the data acquired in a month, the amount guarantees to shock anyone. Turning data into smart data As we go through the daily pile of data generated, not only must we record it, we also need to make sense
Data Quality and Data Governance Solution Market
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
B2B Data Matching Services | Leo Data Services
B2B Data Matching Services - Revolutionary Marketing Campaigns In today's business scenario, managing successfully B2B Data Matching for prospect customer can be a challenge even the most capable organizations. Business to Business Marketing services from Leo Data Services are always customized to meet the needs of the business prospects. We make sure that our clients have quick, reliable access to their data through several possible interface methods that cover everything from data
B2B Data Services - Data Management - Data Providers
When it comes to Online Marketing, B2B Data Services is a well-known name for maintaining reputation among Digital Marketing competitors. It is a one stop shop for start-ups and enterprises looking for cost cutting and out of box solutions in the field of Data Management and services related to Campaign Marketing, Mobile Viral Marketing, Social Media, Search Engine Optimization, Email Marketing Campaigns and Internet Marketing. Sharing space among the well-established
Portable WiFi Data Loggers Record Data Anywhere!
Grant Squirrel Series Offers Reliable Standalone Operation wifi_dataloggersIf you need a device to collect data in the field, in the lab, or on the factory floor, CAS DataLoggers can provide your application with Portable WiFi Data Loggers from Grant Instruments. Common parameters such as Temperature, Humidity, Voltage, Current, Pressure and Force can all be measured and stored using Grant Squirrel series data loggers. These handheld data loggers have internal batteries allowing them