#ifndef __VMM_H__
#define __VMM_H__

#include <rtt_api.h>

#define RT_VMM_ON_AM335X

#endif