Search Results for "kernel virtual machine"
Sort By:
Showing 28 open source projects for "kernel virtual machine"
View related business solutions-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
$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
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... -
2
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. -
3
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. -
4
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. -
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
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... -
6
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. -
7
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. -
8
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. -
9
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.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
10
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)
-
11
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
-
12
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.
-
13
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.
-
14
luxur es un kernel creado en C una vez compilado con gcc se puede iniciar con grub o puede probar la .iso en una maquina virtual.
-
15
IdyllaOS is simple operating system. System is based on monolithic kernel with drivers of devices loaded as kernel modules. As required for a modern operating system, it supports features like virtual memory, memory protection and multitasking.
-
16
Embeddable JVM is a JVM for embedded systems with no OS. Class files can be executed directly from SD card. Small memory consumption (512k is enough). Only FAT16 filesystem is supported for now. Tested on LPC2478 and LPC2939 boards.
-
17
Embeddedable Forth compiler is a Forth system for 32 bit devices with no OS. I am currently using it with ADUC7026 board. Also tested on STM32. Win32 version is is used for testing.
-
18
LogoROS is new object-oriented operation system (currently in early development). See wiki page: https://sourceforge.net/apps/mediawiki/logoros/ and development blog: https://sourceforge.net/apps/wordpress/logoros/ for more info.
-
19
SuperWaba is a Virtual Machine for handhelds. Runs in PalmOS, Windows CE, Win32, and is fully emulated under JDK/browser. Supports Exceptions, has a complete set of UI controls (Palm/WinCE), double and long, grayscale/color, sockets/serial/IR/Bluetooth
-
20
The CodeTime platform covers every aspect of parallel software from authoring, through distribution, to run-time. Its goals are: high programmer productivity; write once, run high performance anywhere; and wide acceptance.
-
21
Javum, the Java Virtual Unix Machine, is an ambitious project which aims to provide a full virtualized Unix environment including C compiler (GCC), Unix-like API, shell, and command line tools, inside of a JVM. Details @ http://javum.wiki.sourceforge.net
-
22
Design of Graphical 16 bit OS for industry aplications,process automatization, where performance and UI should be well balanced it's coded under TC++ 3.0, currently on virtual machine design.
-
23
Kernel Emulation on Windows allows you to run x86 Linux native binaries under MS-Windows. No recompiling is required. The goal is to be able to run your favorite distro without dual-booting or using emulation products such as Vmware, Qemu or coLinux
-
24
DRAKE is a true homebrew game console that consists of specially crafted hardware, system software and games.
-
25
A virtual machine inspired by the concept of IBM's z/VM. The goal is to create a secure, fast and reliable server platform with focus on security with the ability to nest more VMs.
