Blog - DornerWorks

Home / Blog

Now You Can Virtualize 64-bit x86 Architecture in Your seL4 VMs

Posted on October 15, 2020 by Matthew Russell

Tags: 64bit, CAmkES, multicore, SATA, seL4, virtualization, VirtualMachine, x86

By expanding the CAmkES-VM to run 64-bit guests, this increases the feasibility of porting legacy systems....Read more

Poll Worker Program Pays Engineers Who Volunteer to Work at the Polls

Posted on October 15, 2020 by Matthew Russell

Tags: culture, elections, modular redundancy, poll worker, volunteer, voting

Using Xilinx Vitis To Streamline ML Algorithm Implementation

Posted on October 6, 2020 by Matthew Russell

Tags: AI, hardware, MachineLearning, MPSoC, NeuralNetwork, RFSoC, software, vitis, Xilinx

How the IoT Can Help You Improve Safety and Integrate Distancing Solutions into Your Products

Posted on September 23, 2020 by Matthew Russell

Tags: Android, app, Apple, ar, ARKit, CompCheck, COVID-19, iOS, IoT, medical, mobile, safety, socialdistancing

Run Your Mixed Criticality Applications Together, Without Interruption, Even When One Crashes

Posted on September 22, 2020 by Matthew Russell

Tags: demo, dom0, domu, hypervisor, industrial, isolation, mixed-criticality, seL4, virtualization

Asset Tracking Platform From DornerWorks-Sponsored Team Named “Most Outstanding”

Posted on September 22, 2020 by Matthew Russell

Tags: assetTracking, Bluetooth, GPS, GVSU, IoT, precision, proximity, seniorProject, wifi

State-of-the-Art Platforms Provide Opportunity for Innovators and the Senior Engineers Who Guide Them

Posted on September 9, 2020 by Matthew Russell

Tags: FPGA, icicle kit, Intel, Microchip, polarfire, RTG4, SoC, Stratix10, versal, Xilinx

seL4 on PolarFire SOC Provides a Trusted Base for Defense, Industrial and Medical Products

Posted on September 4, 2020 by Matthew Russell

Tags: FPGA, icicle kit, Microchip, microkernel, polarfire, port, seL4, SoC

Accelerate Secure Software Solutions Using Preconfigured seL4 Packages

Posted on September 1, 2020 by Matthew Russell

Tags: Avnet, microkernel, seL4, VM, Xilinx

Four Ways FMCs Can Help You Build Better Products Faster

Posted on August 11, 2020 by Scott Gauche

Tags: DvelopmentKit, FMC, FPGA, hardware, Microchip, MPSoC, SoC, video, Xilinx

Verifying as You Design Using VUnit to Save Time and Improve Accuracy

Posted on August 10, 2020 by Richard Chavez

Tags: Agile, FPGA, modular, test, testbench, testing, verification, VUnit

Older Entries >>

Explore More