Abstract:eChronos is a formally verified Real Time Operating System(RTOS) designed for embedded micro-controllers. eChronos was targeted for tightly constrained devices without memory management units. Currently, eChronos is available on proprietary designs like ARM, PowerPC and Intel architectures. eChronos is adopted in safety critical systems like aircraft control system and medical implant devices. eChronos is one of the very few system software not been ported to RISC-V. RISC-V is an open-source Instruction Set Architecture (ISA) that enables new era of processor development. Many standard Operating Systems, software tool chain have migrated to the RISC-V architecture. According to the latest trends, RISC-V is replacing many proprietary chips. As a secure RTOS, it is attractive to port on an open-source ISA. SHAKTI and PicoRV32 are some of the proven open-source RISC-V designs available. Now having a secure RTOS on an open-source hardware design, designed based on an open-source ISA makes it more interesting. In addition to this, the current architectures supported by eChronos are all proprietary designs, and porting eChronos to the RISC-V architecture increases the secure system development as a whole. This paper, presents an idea of porting eChronos on a chip which is open-source and effective, thus reducing the cost of embedded systems. Designing a open-source system that is completely open-source reduces the overall cost, increased the security and can be critically reviewed. This paper explores the design and architecture aspect involved in porting eChronos to RISC-V. The authors have successfully ported eChronos to RISC-V architecture and verified it on spike. The port of RISC-V to eChronos is made available open-source by authors. Along with that, the safe removal of architectural dependencies and subsequent changes in eChronos are also analyzed.

Vitamin-V: Expanding Open-Source RISC-V Cloud Environments

Vitamin-V: Virtual Environment and Tool-boxing for Trustworthy Development of RISC-V based Cloud Services

Validation, Verification, and Testing (VVT) of future RISC-V powered cloud infrastructures: the Vitamin-V Horizon Europe Project perspective

Enabling an OpenStack-based cloud on top of RISC-V hardware

CVA6 RISC-V Virtualization: Architecture, Microarchitecture, and Design Space Exploration

Xuantie-910: A Commercial Multi-Core 12-Stage Pipeline Out-of-Order 64-Bit High Performance RISC-V Processor with Vector Extension : Industrial Product

Co-designing ab initio electronic structure methods on a RISC-V vector architecture

HSP-V: Hypervisor-Less Static Partitioning for RISC-V COTS Platforms

RISC-V Processor for IOT Applications

VOSySmonitoRV: a mixed-criticality solution on Linux-capable RISC-V platforms

Vortex: OpenCL Compatible RISC-V GPGPU

Comprehensive analysis of energy efficiency and performance of ARM and RISC-V SoCs

A RISC-V Simulator and Benchmark Suite for Designing and Evaluating Vector Architectures

The MicroRV32 framework: An accessible and configurable open source RISC-V cross-level platform for education and research

Test-driving RISC-V Vector hardware for HPC

Porting of eChronos RTOS on RISC-V Architecture

Software Development Vehicles to enable extended and early co-design: a RISC-V and HPC case of study

Monte Cimone: Paving the Road for the First Generation of RISC-V High-Performance Computers

GVSoC: A Highly Configurable, Fast and Accurate Full-Platform Simulator for RISC-V based IoT Processors

NoX: a Compact Open-Source RISC-V Processor for Multi-Processor Systems-on-Chip

SERVAS! Secure Enclaves via RISC-V Authenticryption Shield