Search Results for "kernel os"
Sort By:
Showing 27 open source projects for "kernel os"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
1
LiteBox
A security-focused library OS supporting kernel execution
LiteBox is a security-focused “library OS” sandboxing project that aims to shrink the interface between an application and its host environment to reduce attack surface. Instead of relying solely on broad OS-level permissions, it focuses on isolating workloads by tightly controlling the boundary where code interacts with host services and system resources. The design emphasizes interoperability across different integration layers, describing a separation between “North” shims (how apps or runtimes plug in) and “South” platforms (where the sandbox runs), which helps the system adapt to multiple deployment contexts. ... -
2
fswatch
A cross-platform file change monitor with multiple backends
...A monitor based on kqueue, an event notification interface introduced in FreeBSD 4.1 and supported on most BSD systems (including OS X). A monitor based on inotify, a Linux kernel subsystem that reports file system changes to applications. A monitor based on File Events Notification, a Solaris/Illumos kernel API that reports file events. A monitor based on ReadDirectoryChangesW, a Microsoft Windows API that reports changes to a directory. -
3
Urbit
An operating function
...Urbit is for everyone, but sometimes it is easy to get lost in this universe. It solves the hard problems of implementing a peer-to-peer network (including identity, NAT traversal, and exactly-once delivery) in the kernel so app developers can focus on business logic. The entire OS is a single pure function that provides application developers with strong guarantees: automated persistence and memory management, repeatable builds, and support for hot code reloading. Urbit is a personal OS designed from scratch to run peer-to-peer applications. A clean-slate OS and network for the 21st century. -
4
Cosmos
Cosmos is an operating system "construction kit"
Cosmos is an operating system "construction kit" made for Visual Studio 2022. Build your own OS using managed languages such as C#, VB.NET, and more! Cosmos (C# Open Source Managed Operating System) is an operating system development kit that uses Visual Studio as its development environment. Despite C# in the name any .NET-based language can be used including VB.NET, Fortran, Delphi Prism, IronPython, F# and more. Cosmos itself and the kernel routines are primarily written in C#, and thus the Cosmos name. ... -
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.
-
5
Perfetto
Production-grade client-side tracing, profiling, and analysis
Perfetto is a production-grade tracing platform for Android, Linux, and Chrome that captures extremely detailed information about what a system is doing over time. It’s designed around a low-overhead producer/consumer model: instrumented components (“producers”) write binary events into shared memory buffers and a collector (“service”) reliably streams them to storage. The data model spans kernel and userspace, so you can stitch together CPU scheduling, app lifecycles, binder/IPC hops, GPU... -
6
dlib
Toolkit for making machine learning and data analysis applications
Dlib is a modern C++ toolkit containing machine learning algorithms and tools for creating complex software in C++ to solve real world problems. It is used in both industry and academia in a wide range of domains including robotics, embedded devices, mobile phones, and large high performance computing environments. Dlib's open source licensing allows you to use it in any application, free of charge. Good unit test coverage, the ratio of unit test lines of code to library lines of code is... -
7
Qiling
Qiling Advanced Binary Emulation Framework
Cross-platform and multi-arch ultra lightweight emulator. Supported OS: Linux, MacOS, Windows, FreeBSD, DOS and UEFI. Support Arch: x86(16/32/64), ARM(64) MIPS, EVM and WASM. It also support Linux Kernel Module(.ko) , Windows Driver(.sys) and MacOS Kernel(.kext) via Demigod. Binary instrumentation and API are Qiling Framework's main focus and priority. It is designed for reverse engineers - thus there is no need to rebuild another sand boxing tool. -
8
Capstone
Capstone disassembly/disassembler framework
Capstone is a disassembly framework with the target of becoming the ultimate disasm engine for binary analysis and reversing in the security community. Created by Nguyen Anh Quynh, then developed and maintained by a small community, Capstone offers some unparalleled features. Support multiple hardware architectures: ARM, ARM64 (ARMv8), Ethereum VM, M68K, Mips, MOS65XX, PPC, Sparc, SystemZ, TMS320C64X, M680X, XCore and X86 (including X86_64). Having clean/simple/lightweight/intuitive... -
9
PyTorch Geometric
Geometric deep learning extension library for PyTorch
...We have outsourced a lot of functionality of PyTorch Geometric to other packages, which needs to be additionally installed. These packages come with their own CPU and GPU kernel implementations based on C++/CUDA extensions. We do not recommend installation as root user on your system python. Please setup an Anaconda/Miniconda environment or create a Docker image. We provide pip wheels for all major OS/PyTorch/CUDA combinations. -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
Unikraft
A next-generation cloud native kernel designed to unlock performance
Unikraft powers the next generation of cloud-native, containerless applications by enabling you to radically customize and build custom OS/kernels; unlocking best-in-class performance, security primitives, and efficiency savings. Unikraft optimizes resource utilization, leading to smaller footprints (meaning higher server saturation) and improved efficiency in resource-constrained environments. Unikraft is an open-source project driven by a vibrant community of over 100 developers, fostering... -
11
QP Real-Time Event Frameworks & Tools
Real-Time Event Frameworks based on active objects & state machines
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... -
12
cerberuscms2
Cerberus Content Management System
Cerberus Content Management System is a dynamic, secure and infinitely expandable CMS designed after a Unix-Like model. It is a custom written Web Application Framework ( W.A.F. ) with a consistent and custom written Pre-Hyper-Text-Post-Processor Programming Code Framework ( P.C.F. ). This Web Application Software Project' aim is to be the fastest and most secure Web Application Framework, Web Application Programming Code Framework, Text, Voice and Video Communications Platform and Content... -
13
linux-factory
Framework used to create custom debian linux operating systems
linux-factory is a utility designed to streamline the process of building and customizing Linux kernel images using a simple, scriptable environment. It provides a modular framework for configuring kernel options, applying patches, and generating bootable images, making it ideal for embedded developers, kernel hackers, and OS maintainers. With a strong emphasis on repeatability and automation, linux-factory reduces the manual overhead of compiling and deploying Linux kernels across various platforms. -
14
raspberry-pi-os
Learning operating system development using Linux kernel and Raspberry
This project provides a step-by-step educational guide on building a simple operating system kernel entirely from scratch, specifically targeting the Raspberry Pi 3. The operating system, referred to as RPi OS, is inspired by the Linux kernel but remains intentionally minimal to focus on clarity and teaching fundamental OS concepts. Each lesson introduces a kernel feature and demonstrates its implementation within RPi OS, followed by a comparison to how the same concept is realized in the Linux kernel. ... -
15
eggos
A Go unikernel running on x86 bare metal
eggos is a unikernel operating system written primarily in Go that runs directly on bare metal hardware without relying on a traditional operating system layer. It is designed around the idea that Go’s runtime already provides many abstractions typically handled by an operating system, such as scheduling and memory management, allowing a single Go application to function as both the kernel and the application itself. In EggOS, there are no processes or traditional system calls; instead,... -
16
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. -
17
Pofig
Portable Figure Out system properties
pofig - portable shell script for probing base system properties: OS, OS version, kernel version, distro, distro version, architecture. It detects: 19 operating systems, 11 major linux distros, 13 CPU types. See wiki for more information and examples. -
18
DC/OS
DC/OS - The Datacenter Operating System
DC/OS (Datacenter Operating System) is an open-source distributed operating system based on the Apache Mesos kernel. It abstracts a cluster of machines into a single logical computer, simplifying the deployment and management of containerized applications and services. DC/OS provides a comprehensive platform for running modern applications with features like container orchestration, service discovery, and scalability. -
19
blog_os
Writing an OS in Rust
“blog_os” contains the source code for Philipp Oppermann’s renowned "Writing an OS in Rust" blog series. Each tutorial is paired with a Git branch demonstrating the OS's incremental evolution, covering components like kernel setup, interrupts, paging, heap allocation, and async multitasking. The current version of the blog is already the second edition. The first edition is outdated and no longer maintained, but might still be useful. -
20
androidx86-openstack
Android virtual machines running on Openstack Clouds
This is the first ever project that ports Android OS into an image that can be used to create Android virtual machines running on Openstack clouds with full virtualisation support. Currently we only support Android 4.4 Kitkat 64bit distribution. Instructons on how to create the image yourself: http://thisismyeye.blogspot.co.uk/2014/04/enabling-virtio-drivers-on-kernel-for.html This image is not perfect yet. -
21
-
22
PanicMaker is a software that makes an REAL Kernel Panic on Mac OS X. First releases are developed in AppleScript. PanicMaker requires a Intel Mac with Mac OS X 10.6 Snow Leopard.
-
23
-
24
Kernel library is a complete set of interfaces of all the software components that constructs an operating system kernel, it is used to develop the os part of the e-government os (sourceforge.net/project/egovsh) sherifmagd@hotmail.com
-
25