Search Results for "dox-tool"

...The kernel uses Rust as its primary implementation language, which gives it strong memory safety guarantees and helps reduce common classes of bugs like data races and buffer overflows without sacrificing performance. It aims to serve as both a learning tool for systems programming students and a testbed for advanced research in kernel architecture, enabling experimentation with new ideas in process isolation, resource management, and driver models.

...Communicate with the Farmduino to send G and F commands and receive sensor and encoder data. Take photos with a USB or Raspberry Pi camera, and upload the photos to the web application. You must use a .img writing tool to write FarmBot OS onto the microSD card. We recommend downloading and installing balenaEtcher for this purpose.

QP real-time event frameworks (RTEFs) provide lightweight, modern, event-driven architecture based on asynchronous Active Objects (Actors) and Hierarchical State Machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing, and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information. The QP RTEFs can run on bare-metal microcontrollers, replacing a traditional RTOS. The frameworks contain a selection of built-in real-time kernels (RTOS kernels), such as the cooperative QV kernel, the preemptive non-blocking QK kernel, and the unique preemptive, dual-mode (blocking/non-blocking) QXK kernel. ...

Jupyter is a free, open-source, interactive web tool known as a computational notebook, which researchers can use to combine software code, computational output, explanatory text, and multimedia resources in a single document. For data scientists and machine learning engineers, Jupyter has emerged as a de facto standard. At the same time, there has been growing criticism that the way notebooks are being used leads to low resource utilization.

It is a tool to analyst the dependence of ELF/Mach-O. When you port an ELF library to your own operating system, having a dependency graph is important. Tutorial: https://sourceforge.net/p/elf-dependency-walker/wiki/tutorial/

...The advantages of PRTOS are: It has the smallest footprint of any true preemptive system: 1.9kB for basic scheduling and task control, 5.1kB with all the features below (AVR '328 / gcc -Os); Only 950 lines of code implement all of the RTOS features (SLOC-L); The system is well documented with a comprehensive manual, well-commented source code, and a test suite demonstrating the features; The system is proven - it has been in use since 1982 with applications in in-vitro medical equipment, process control instrumentation and industrial machinery; PRTOS is released by Cleveland Engineering Design, LLC - developer of the CoRTOS cooperative RTOS https://sourceforge.net/projects/cortos-simple/ and the CTREE analysis tool https://sourceforge.net/projects/ctree-graphic-tree-generator/ Commercial licensing is available

UEFI GPT fdisk is a port to UEFI of the famous GPT fdisk partitioning tool, see http://sourceforge.net/projects/gptfdisk/ . Now since this program runs directly under UEFI shell you don't need to *boot* the system to convert/edit partition tables.

This is the Mac Linux USB Loader, a tool allowing you to take an ISO of a Linux distribution and make it boot using EFI. It requires a single USB drive formatted as FAT with at least 2 GB free recommended. The application is available in English and is partially translated into Spanish and Traditional Chinese. The tool is necessary to make certain Linux distributions boot that do not have EFI booting support.

MikeOS is a an open source 16-bit operating system for x86 PCs, written in assembly language, which boots from a floppy disk or CD-ROM. It is designed as a learning tool for x86 assembler and basic OS design.

The purpose of this project is build up a filtering tool for: Reduce the impact of Machine Noise (Interrupt Coalescing and stuff) on Network measurements The project is currently funded by Google and mentored by Internet2