Open Source Operating System Kernels

Windows Theme over Ubuntu (Wubuntu) Wubuntu also known as “Windows Ubuntu” is an Ubuntu-based operating system with themes and tools inspired by Microsoft Windows, but without any absurd system requirements. Wubuntu does not require TPM, Secure Boot, POPCNT or any other special hardware resource for its operation.

PrimeOS, the ideal Android based OS for mobile games on PC/Laptop.

Ufficio Zero Linux OS is a desktop operating system offered in many versions based on PCLinuxOS, Linux Mint and Devuan. We also have created Duplica, a Bare Metal Restore Solution. This distro has many packages for professional use. The project is managed by the Italian company SIITE SRLS. Ufficio Zero Linux OS is trademarked through the Linux Mark Institute. All rights reserved. Linux® is the registered trademark of Linus Torvalds in the U.S. and other countries. website https://ufficiozero.org forum https://forum.ufficiozero.org wiki https://wiki.ufficiozero.org video tutorial https://odysee.com/$/invite/@ufficiozero:f YouTube Channel https://www.youtube.com/@UfficioZeroLinuxOS

Linuxfx is an Ubuntu-based operating system that contains a powerful set of tools and an amazing look and feel. It has compatibility with Windows apps through Wine and also runs Android apps. It's super stable, solid as a rock and very secure. It also does not need TPM or any other requirement for its operation and is compatible with any computer that has 2 cores and 2GB of RAM memory.

************************************************************************************************************************ * The primary FreeRTOS repository is now in Git. Go to https://github.com/freertos for the latest FreeRTOS kernel and libraries. * Our support has moved to https://forums.freertos.org. ************************************************************************************************************************ FreeRTOS is a market-leading real-time operating system (RTOS) for microcontrollers and small microprocessors. Distributed freely under the MIT open source license, FreeRTOS includes a kernel and a growing set of libraries suitable for use across all industry sectors. Visit https://www.freertos.org for more information and other download options. Note about support/discussions forum: The FreeRTOS support forum has moved to https://forums.freertos.org. Please update your bookmarks and create new posts in the appropriate category in the new community forums.

Community driven projects featuring the latest innovations for cutting edge apps. Our flagship project JBoss AS is the leading Open Source, standards-compliant, Java EE based application server implemented in 100% Pure Java.

QP real-time embedded frameworks (RTEFs) provide lightweight, modern event-driven architecture based on 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 single-chip microcontrollers, completely 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. Native QP ports and ready-to-use examples are provided for ARM Cortex-M (M0/M0+/M3/M4F/M7) as well as other CPUs. The QP RTEFs can also work with many traditional RTOSes and desktop OSes, such as Linux and Windows.

EmuTOS is a TOS compatible operating system for Atari ST series computers, and more. It is made from Digital Research's GPLed original sources and is a free and open source alternative to Atari proprietary ROMs.

Secure and compliant communications platform. We use communication platforms on a daily basis to collaborate with colleagues, other companies, customers, and communities. Most of them give you very little in terms of control and customizations; except Rocket.Chat. Bring together messages, projects, and tasks in one place and watch your team’s productivity rise to new heights. Engage in contextual interactions with customers irrespective of how they contact you. Ensure long-term relationships and improved business outcomes. Create custom messaging experiences within your app or website by integrating and white labeling Rocket.Chat components and enterprise features. Extend and customize your workspace with custom apps, open APIs, powerful plugins, and webhooks. Own your conversations. Choose from self-hosted, air-gapped, or secure cloud deployment options that meet your security and compliance needs.

The AROS Research Operating System is an effort to implement an Open Source and portable operating system that is compatible with AmigaOS(TM). Originally, it was meant as a direct reimplementation, but already has features not existing in AmigaOS.

netboot.xyz enables you to boot into many types of operating systems using lightweight tooling to get you up and running as soon as possible. Discover new operating systems without having to download and rewrite media over and over again. Rescue operating systems from a single image. An essential for any sysadmin. netboot.XYZ uses the iPXE project to enable you to provision, rescue, or load into a live boot environment leveraging the Preboot Execution Environment (PXE) on most systems. netboot.xyz is a convenient place to boot into any type of operating system or utility disk without the need of having to go spend time retrieving the ISO just to run it. iPXE is used to provide a user-friendly menu from within the BIOS that lets you easily choose the operating system you want along with any specific types of versions or bootable flags.

Cooperative Linux is the first method for optimally running Linux on Windows and other operating systems natively. It is a port of the Linux kernel and support code that allows it to run cooperatively without emulation along with another operating system.

xone is a Linux kernel driver for Xbox One and Xbox Series X|S accessories. It serves as a modern replacement for Xpad, aiming to be compatible with Microsoft's Game Input Protocol (GIP). Installing Xone will disable the Xpad kernel driver. If you are still using Xbox or Xbox 360 peripherals, you will have to install xpad-noone as a replacement for Xpad.

This is the stress-ng upstream project git repository. stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces. stress-ng was originally intended to make a machine work hard and trip hardware issues such as thermal overruns as well as operating system bugs that only occur when a system is being thrashed hard. Use stress-ng with caution as some of the tests can make a system run hot on poorly designed hardware and also can cause excessive system thrashing which may be difficult to stop.

Zen Patched Kernel Sources. This is the top level of the kernel’s documentation tree. Kernel documentation, like the kernel itself, is very much a work in progress; that is especially true as we work to integrate our many scattered documents into a coherent whole. ARC processors are highly configurable and several configurable options are supported in Linux. Some options are transparent to software (i.e cache geometries, some can be detected at runtime and configured and used accordingly, while some need to be explicitly selected or configured in the kernel’s configuration utility.

The Zephyr Project is a new generation real-time operating system (RTOS) that supports multiple hardware architectures. It is based on a small-footprint kernel specially designed for use on resource-constrained and embedded systems. The Zephyr OS can be used for a wide range of applications: from simple embedded environmental sensors and LED wearables to sophisticated embedded controllers, smart watches, and IoT wireless applications.

C-BIOS is an open source BIOS for MSX computers. C-BIOS can be shipped with MSX emulators so they are usable out-of-the-box. This project aims to improve C-BIOS by fixing incompatibilities with the MSX BIOS and the development of a Disk ROM.

GPL source for QNAP Turbo NAS

The objective of the TPM Emulator project is the implementation of a software-based TPM and MTM emulator as well as of an appropriate TCG Device Driver Library (TDDL).

This project reimplements from scratch the RPL language made popular by HP programmable calculators, in portable C/C++. The main goal is to release a complete computing environment for various targets. There's currently 4 active targets: the HP 50g, HP39gs and HP40gs calculators and a PC simulator (see the downloads section!). Other ports are planned for the future.

Ficl is a lightweight, efficient language designed to be incorporated into other programs, including (especially) firmware based systems. Ficl includes a simple but capable object model that can wrap existing data structures. Applications: scripting,

FlashForth is a standalone Forth system for the Microchip PIC 18, 24, 30, 33 and the Atmel Atmega series of microcontrollers. A Forth system with interpreter, compiler, assembler and multitasker is provided.

Make sure that CoqIDE (8.6 or newer) is installed and coqidetop or coqidetop.opt (coqtop for Coq versions before 8.9.0) is in your PATH. Also, make sure the python command is recognized on your machine. If not you can set up an alias for it e.g. python-is-python3 on Ubuntu. There are a number of convenience improvements over standard Jupyter notebook behavior that are implemented to support Coq-specific use cases.