#ifndef __INTERNAL_HAL_HAL_H
#define __INTERNAL_HAL_HAL_H

//
// ARM Headers
//
#include <internal/arm/ke.h>
#include <internal/arm/intrin_i.h>

//
// Versatile Peripherals
//
#include <peripherals/pl011.h>
#include <peripherals/pl190.h>
#include <peripherals/sp804.h>

#endif /* __INTERNAL_HAL_HAL_H */