CuBit: A General-Purpose Operating System in SPARK/ Ada (2020)
CuBit is an early-stage general-purpose operating system developed in SPARK/Ada, focusing on formal verification, supporting 64-bit mode, multi-core processing, and preemptive multitasking while avoiding floating-point operations.
Read original article
CuBit is an early-stage general-purpose operating system being developed using the SPARK/Ada programming languages, focusing on formal verification. The project aims to create a robust OS that abstracts hardware while managing applications efficiently. CuBit operates in 64-bit mode on x86-64 architecture, supporting multi-core processing and preemptive multitasking. Although it currently lacks complete filesystem drivers and virtual filesystem support, the development process has been educational for the creator, who has drawn inspiration from various operating systems, including embedded systems and Unix-like environments. The use of SPARK allows for compile-time error checking, enhancing reliability by suppressing runtime checks for certain operations. The project also emphasizes avoiding floating-point operations in the kernel to improve efficiency and prevent hardware exceptions. CuBit's kernel is structured as an ELF object file, with careful attention to linking and memory management. The creator is actively documenting the development process and encouraging contributions from others interested in the project.
- CuBit is a general-purpose OS developed in SPARK/Ada, focusing on formal verification.
- It currently supports 64-bit mode, multi-core processing, and preemptive multitasking.
- The project aims to avoid floating-point operations in the kernel for efficiency.
- CuBit's kernel is structured as an ELF object file, with specific attention to linking and memory management.
- The creator encourages community contributions and is documenting the development process.
Related
SectorC: A C Compiler in 512 bytes (2023)
SectorC is a compact C compiler fitting within a 512-byte boot sector, supporting a significant subset of C with advanced features, achieving a size of 303 bytes for practical applications.
C64 OS Programmer's Guide
C64 OS enhances the Commodore 64 by adding modern functionalities while retaining its original OS. It provides a framework for application development and encourages community involvement for software expansion.
Ubitium is developing 'universal' processor combining CPU, GPU, DSP, and FPGA
Ubitium is developing a Universal Processor integrating CPU, GPU, DSP, and FPGA functionalities, targeting a 2026 launch. The startup raised $3.7 million, raising concerns about feasibility and timeline.
SP1: A performant, 100% open-source, contributor-friendly zkVM
Succinct Labs launched the Succinct Processor 1, an open-source zero-knowledge virtual machine that enhances performance, supports various programming languages, and invites community contributions, currently in alpha stage.
Simple CPU Design
The SimpleCPU project enhances computer architecture education through hands-on CPU design using Xilinx's ISE tools, emphasizing fundamental concepts and including networking modules for practical experience with Raspberry Pi systems.
2 commentsRelated
SectorC: A C Compiler in 512 bytes (2023)
SectorC is a compact C compiler fitting within a 512-byte boot sector, supporting a significant subset of C with advanced features, achieving a size of 303 bytes for practical applications.
C64 OS Programmer's Guide
C64 OS enhances the Commodore 64 by adding modern functionalities while retaining its original OS. It provides a framework for application development and encourages community involvement for software expansion.
Ubitium is developing 'universal' processor combining CPU, GPU, DSP, and FPGA
Ubitium is developing a Universal Processor integrating CPU, GPU, DSP, and FPGA functionalities, targeting a 2026 launch. The startup raised $3.7 million, raising concerns about feasibility and timeline.
SP1: A performant, 100% open-source, contributor-friendly zkVM
Succinct Labs launched the Succinct Processor 1, an open-source zero-knowledge virtual machine that enhances performance, supports various programming languages, and invites community contributions, currently in alpha stage.
Simple CPU Design
The SimpleCPU project enhances computer architecture education through hands-on CPU design using Xilinx's ISE tools, emphasizing fundamental concepts and including networking modules for practical experience with Raspberry Pi systems.