#ifndef _LINUX_DEVICE_H
#define _LINUX_DEVICE_H

#include <vmm_devtree.h>
#include <vmm_devdrv.h>

#include <linux/errno.h>
#include <linux/io.h>
#include <linux/cache.h>
#include <linux/printk.h>
#include <linux/module.h>

/* FIXME: This file is just a place holder in most cases. */

#endif /* _LINUX_DEVICE_H */
