#ifndef __VERSATILE_INIT_H__
#define __VERSATILE_INIT_H__
void versatile_add_sdram(u32 size);
void versatile_register_uart(unsigned id);
void versatile_register_i2c(void);
#endif