mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 11:50:24 +00:00
* Core_mem_allocator: implement Range_allocator interface * Core_mem_allocator: allocate with page-granularity only * Use slab allocators in core where meaningful (e.g. dataspace objects)
This repository contains the port of Genode to the Codezero microkernel For instructions about using Genode with Codezero, please refer to 'doc/codezero.txt'.