osdk-frame-allocator 0.13.0

The default buddy system frame allocator shipped with OSDK.