Search Results for "memory"

*** Genode migrated to https://github.com/genodelabs/genode *** The Genode OS Framework is a tool kit for building highly secure special-purpose operating systems. It scales from embedded systems with as little as 4 MB of memory to highly dynamic general-purpose workloads. Genode is based on a recursive system structure. Each program runs in a dedicated sandbox and gets granted only those access rights and resources that are needed for its specific purpose. Programs can create and manage sub-sandboxes out of their own resources, thereby forming hierarchies where policies can be applied at each level. ...

...This is an attemp to achieve a qemu gpu passthrough without legacy vga accesses to graphics card. Legacy io accesses to vga registers are replaced through MMIO accesses. Legacy accesses to vga memory are replaced through accesses to plain framebuffer. This avoids vga arbiter problems in linux kernel.

U-tube monitors the memory usage of each VM to detect its memory pressure, and periodically adjusts its memory allocation via memory hotplug. It is implemented as a loadable device driver to coordinate guest OS’ MMU with underlying hypervisor. In contrast to the popular ballooning mechanism, memory hotplug can dynamically expand a guest OS’s physical memory space beyond its maximum configured at booting time.

Xvisor® is an open-source type-1 hypervisor, which aims at providing a monolithic, light-weight, portable, and flexible virtualization solution. It provides a high performance and low memory foot print virtualization solution for ARMv5, ARMv6, ARMv7a, ARMv7a-ve, ARMv8a, x86_64, and other CPU architectures. The Xvisor source code is highly portable and can be easily ported to most general-purpose 32-bit or 64-bit architectures as long as they have a paged memory management unit (PMMU) and a port of the GNU C compiler (GCC). ...