Search Results for "kernel virtual machine"
Sort By:
Showing 80 open source projects for "kernel virtual machine"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
1
XanMod is a general-purpose Linux kernel distribution with custom settings and new features. Built to provide a stable, smooth and solid system experience. https://gitlab.com/xanmod/linux https://xanmod.org
-
2
syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
syzkaller is Google’s coverage-guided, feedback-driven kernel fuzzer designed to uncover reliability and security bugs in operating system kernels at scale. It automatically generates, mutates, and minimizes system call programs, then drives them through a specialized executor (syz-executor) to exercise deep kernel paths. The system integrates tightly with sanitizers such as KASAN, KMSAN, KCSAN, and UBSAN to surface memory safety, concurrency, and undefined behavior issues with actionable... -
3
stress-ng
This is the stress-ng upstream project git repository.
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. -
4
Zephyr Project
Scalable, optimized, secure RTOS for multiple hardware architectures
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. -
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
5
ravynOS
A BSD-based OS project that aims to provide an experience with MacOS
...So we are creating ravynOS, an OS aimed to provide the finesse of macOS with the freedom of FreeBSD. This is a developer preview image that’s mainly intended for helping build the system. We recommend running in a virtual machine, although it should work on any hardware supported by FreeBSD-CURRENT (14.0) with at least 2GB (8GB recommended) RAM. PLEASE NOTE: On 2022-02-14, we decided to abandon the current path of using X11/KDE desktop components and write from scratch a new UI that will align better with our goals. This stepping back will slow the project but ultimately should result in a better outcome. ... -
6
CachyOS
Blazingly Fast & Customizable Linux distribution
CachyOS - Arch Linux Based Distribution With Heavy Optimizations & Multi-Architectures For Ultimate Desktop Experience Filesystems: - btrfs - zfs - ext4 - xfs - f2fs Our installer will auto detect which micro architecture your machine got, if x86-64-v3 or x86-64-v4 is detected it will automatically use the optimized packages, which is around a 10 % performance improvement. Desktop Environments: - KDE - CuteFish - i3 - Gnome - Openbox - Wayfire - Xfce - LXQT -... -
7
ChibiOS/RT is a free and efficient RTOS designed for deeply embedded applications. It offers a comprehensive set of kernel primitives and supports many architectures: ARM7, Cortex-M0, Cortex-M3, Cortex-M4, PowerPC e200z, STM8, AVR, MSP430, ColdFire, H8S, x86.
-
8
Coq Jupyter
Jupyter kernel for Coq
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. -
9
Casper-fs
Casper-fs is a Custom LKM generator to protect and hide files.
Casper-fs is a Custom Hidden Linux Kernel Module generator. Each module works in the file system to protect and hide secret files.The motivation: An attacker can read every file in your machine in a bad situation. But if you have a Casper-fs custom module, the attacker will not find the hidden kernel module that has functions to turn any file invisible and protect to block read/remove/edit actions. -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
10
elastic-jupyter-operator
Cloud-native way to provide elastic Jupyter Notebooks on Kubernetes
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. GPU and other hardware resources will be bound to... -
11
TeLOS Linux
humbly smart Operating System - Debian derivative
TeLOS is a new, universal Linux distribution, a carefully customized derivative of Debian bullseye / sid with KDE Plasma Desktop Environment featuring an unbiased selection of useful applications and services. You may find TeLOS Linux to be snappy, lightweight, ready for work or fun straight out of the box and easily configurable. This Operating System is freely distributed and honors free, open source software development. Nevertheless, some non-free proprietary packages are included to... -
12
JadeOak-OS
An operating system for those who value security and privacy.
Welcome to JadeOak OS, an operating system for those that value simplicity and privacy. It has the deep web browser, also known as the Tor browser, added to it as a default internet browser. It is linux-based and will work on a virtual machine, such as VirtualBox. For Installation Instructions or any issues with the OS, please go to the wiki. There is more detailed information about the OS on the wiki also. -
13
Boot2Docker
Linux distribution made specifically to run Docker containers
Boot2Docker is a lightweight Linux distribution made specifically to run Docker containers. It runs completely from RAM, is a ~45MB download and boots quickly. Boot2Docker is designed and tuned for development. Using it for any kind of production workloads is highly discouraged. Installation should be performed via Docker Toolbox which installs Docker Machine, the Boot2Docker VM, and other necessary tools. Boot2Docker is used via Docker Machine (installed as part of Docker Toolbox) which... -
14
IntrOS
Free cooperative operating system designed for microcontrollers
Free, simple and tiny cooperative operating system (OS) designed for deeply embedded applications. Target: ARM Cortex-M, STM8, AVR8. It was inspired by the concept of a state machine. Procedure executed by the task (task state) doesn't have to be noreturn-type. It will be executed into an infinite loop. There's a dedicated function for immediate change the task state. -
15
StateOS
Free real-time operating system designed for microcontrollers
Free, extremely simple, amazingly tiny and very fast real-time operating system (RTOS) designed for deeply embedded applications. Target: ARM Cortex-M, STM8. It was inspired by the concept of a state machine. Procedure executed by the task (task state) doesn't have to be noreturn-type. It will be executed into an infinite loop. There's a dedicated function for immediate change the task state. -
16
OS: NetBSD 8.1 64 bit Users: # root/toor $ dev/dev
-
17
virgo
32 bit VIRGO Linux Kernel
Linux kernel fork-off with cloud and machine learning features -
18
-
19
Fiwix
A UNIX-like kernel for the i386 architecture
FiwixOS 3 is a Fiwix distribution, an operating system made from a software collection that is based upon the Fiwix kernel. It basically comprises a Fiwix kernel, GNU tools, libraries and additional software. All the included software is free and open-source software made available both as compiled binaries and in source code form, which allows modifications to the original software. FiwixOS 3 uses the Newlib v3.1.0 as its C standard library, and the Ext2 as its primary file... -
20
Perix is a 16/32/64-Bit protected mode kernel, bootable and capable of running with or without an operating system. It is written in Turbo Pascal 7.0 for DOS, Delphi 7.0, Pascal Pro, Virtual Pascal v2.1, Delphi XE2 64-Bit, TASM, TASM32 and JWASM. The latest version, 0.01I, supports multi-processor. Added Open Watcom C++ and Borland C++ examples.
-
21
OS9exec - execution environment for OS-9/68k user-mode programs on MacOS9 / MacOSX / Windows and Linux host OS. (OS-9 is an RTOS of Microware/Radisys)
-
22
View OS is a user configurable, modular process virtual machine, or system call hypervisor. For each process the user is able to define a "view of the world" in terms of file system, networking, devices, permissions, users, time and so on.
-
23
aiorOS is an educational purpose Operating System project based on IA386. Its kernel provides support for: system calls, multitasking, paging (processes have 4GB space area). Runs binary programs as processes. Developed by Salvatore Iengo. Developer notes: - gcc version 4.0.2 - bochs 2.2.5 - Virtual box Suse10 development environment available for download
-
24
JNode is a Java New Operating system Design Effort. JNode is a simple to use and install Java operating system for personal use on modern devices. Any java application runs on it, fast and safe. See our homepage for additional information.
-
25
A Java 2 (JDK 1.3/1.4) compatible virtual machine. joeq is unique in that it is almost entirely implemented in Java, making it reliable and efficient. It is also language-independent, so code from any language can be seamlessly and dynamically compiled.
