Embedded System Security Solutions Expanded with New Commits To Open Source seL4 Community
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)
-Virtualized UART Driver
-Virtual channel framework
-Example VMM configurations
Find a complete list of commit details and instructions on how to use them here: https://github.com/dornerworks/sel4-armv8-vmm-manifest
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 https://DornerWorks.com.
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: 1414
More Releases from DornerWorks
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
More Releases for Data
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
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