Search Results for "kernel virtual machine"
Sort By:
Showing 24 open source projects for "kernel virtual machine"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
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
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. ... -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
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. -
6
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... -
7
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. -
8
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. -
9
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. -
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
10
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.
-
11
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)
-
12
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
-
13
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.
-
14
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.
-
15
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.
-
16
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.
-
17
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.
-
18
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
-
19
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.
-
20
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
-
21
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.
-
22
DRAKE is a true homebrew game console that consists of specially crafted hardware, system software and games.
-
23
TriOS - The Object Oriented Operating System, is the next generation operating system. Fully based on object orientation, it brings unique features to programmers and end users. Basically everything in TriOS is an object, even files and programs! Enjoy!!
-
24
OS for embedded and mobile devices based on tiny byte-code interpreter and FORTH language compiler (into platform-independent byte-code). In other word its smallest programming language realization works on any type computer with any OS
- Previous
- You're on page 1
- Next
