#ifndef _VMM_H_
#define _VMM_H_

#include <base/env.h>
#include <base/allocator.h>

Genode::Env       & genode_env();
Genode::Allocator & vmm_heap();

#endif /* _VMM_H_ */