Search Results for "microkernel" - Page 3
Sort By:
Showing 74 open source projects for "microkernel"
View related business solutions-
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
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
-
2
Quantix is a microkernel operating system distribution based on the Mach kernel. Quantix uses the X windowing environment for a user interface.
-
3
nexOS is an Open-Source effort to create a strong networking operating system, mainly used for educational purposes. It will be based on a self written, multiboot compliant microkernel (bootable from GRUB).
-
4
NeoMach is a project to design and implement new features into GNUMach and, in a more general scope, experiment about real microkernel systems. The intention is that some of the code developed here, enters into official GNUMach.
-
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.
-
5
Project to create a new microkernel for AdaOS. Intended to be especially suited to Ada programming language, but will have pragmatic design which is actually language neutral. Will be practical, general-purpose, and secure, but otherwise minimal.
-
6
Soft-realtime operating system, based in a microkernel design and providing QoS and persistence capabilities.
-
7
-
8
A microkernel operating system distribution offering (among other things) very low hardware requirements, full and easy portability and easy-readable source code.
-
9
Mithrill is an exprerimental microkerenl based operating system. Out initial interest will be in the research of persistant and distributed systems, and security techniques on top of a microkernel.
-
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.
-
10
GenesisAE defines and implements an application environment for portable, network-transparent and secure applications. GenesisAE is based on a QNX-like (S/R/R) microkernel and on basic servers (providing device I/O, a database, ...)
-
11
-
12
-
13
Components supporting real-time, reliability, high-availability, and security services in standard operating environments. Starting with the C5 modular microkernel, a RT-POSIX layer based on FreeBSD 4.1, and the CDE cross-development environment.
-
14
The GNU Hurd is the GNU project's replacement for the Unix kernel. The Hurd is a collection of servers that run on the Mach microkernel to implement file systems, network protocols, file access control, and other features that are implemented by Unix
-
15
Tesoro is an open source operating system project fully written in x86 Assembler language. The architecture is partially based on some QNX ideas and some fresh ideas. It combines low level assembler coding (e.g. microkernel with extremely fast task switch
-
16
A Protected mode microkernel for the x86 system. With features like memory management, multitasking and protection will be included in the kernel, the rest will be added as drivers/software.
-
17
The L4Ka microkernel is an L4 compatible microkernel running on multiple platforms (x86, ARM, MIPS, PPC, 68K). Its official name is now L4Ka::Hazelnut. This kernel has been discontinued in favor of L4Ka::Pistachio. See http://l4ka.org/
-
18
The L4/Alpha port of the L4 microkernel, currently supports the entire range of Alpha 64-bit processors including the 21064, 21164 and 21264. Multiprocessor support exists for 21264. L4/Alpha is distributed under the GPL.
-
19
Yamit - Scalable, Portable and High Performance POSIX complaint OS. Microkernel based Operating System designed for tightly or loosely coupled multiprocessor hardware.
-
20
-
21
-
22
-
23
An operating system using a microkernel design. Intends to target multiple platforms, but initial implementation will be for x86_64. Will also incorporate ACL-based security model in order to control access to resources.
-
24
MkLinux: Linux at Mach 3 MkLinux is a port of Linux to the Mach 3 MicroKernel. Its home page can be found at http://www.mklinux.org and its primary ftp site is ftp://ftp.mklinux.org. This site is for bug tracking & other administrivia.
