sel4twinkle-alloc-rs An experimental Rust port of libsel4twinkle allocator Used in my feL4 (seL4/Rust) projects: SoloX ARM A9 + M4 project