#define SANDBOX_CLK_RATE 32768
+/* System controller driver data */
enum {
- PERIPH_ID_FIRST = 0,
- PERIPH_ID_SPI = PERIPH_ID_FIRST,
- PERIPH_ID_I2C,
- PERIPH_ID_PCI,
+ SYSCON0 = 32,
+ SYSCON1,
- PERIPH_ID_COUNT,
+ SYSCON_COUNT
};
/**
*/
long sandbox_i2c_rtc_get_set_base_time(struct udevice *dev, long base_time);
+int sandbox_usb_keyb_add_string(struct udevice *dev, const char *str);
+
#endif