#ifndef __SOC_RASPBERRY_FIRMWARE_H__
#define __SOC_RASPBERRY_FIRMWARE_H__

#include <drv/soc/bcm2835/raspberrypi-firmware.h>

#include <linux/types.h>
#include <linux/of_device.h>

/* This file is just a place holder. */

#endif /* __SOC_RASPBERRY_FIRMWARE_H__ */
