DEVICE_PERIPH("pio2", hwpl_pio, 2, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("pio3", hwpl_pio, 3, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("pio4", hwpl_pio, 4, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("i2c0", hwpl_i2c, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("i2c1", hwpl_i2c, 1, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("i2c2", hwpl_i2c, 2, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("pwm1", hwpl_pwm, 1, 0666, USER_ROOT, GROUP_ROOT, S_IFBLK),
//DEVICE_PERIPH("qei0", hwpl_qei, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("rtc", hwpl_rtc, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("spi0", hwpl_ssp, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("spi1", hwpl_ssp, 1, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("spi2", hwpl_spi, 2, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("tmr0", hwpl_tmr, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("tmr1", hwpl_tmr, 1, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("tmr2", hwpl_tmr, 2, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
UARTFIFO_DEVICE("uart0", &uart0_fifo_cfg, &uart0_fifo_state, 0666, USER_ROOT, GROUP_ROOT), //USE ADDITIONAL FIFO
//DEVICE_PERIPH("uart0", hwpl_uart, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR), //NO ADDITIONAL FIFO
UARTFIFO_DEVICE("uart1", &uart1_fifo_cfg, &uart1_fifo_state, 0666, USER_ROOT, GROUP_ROOT),
//DEVICE_PERIPH("uart1", hwpl_uart, 1, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("uart2", hwpl_uart, 2, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("uart3", hwpl_uart, 3, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("usb0", hwpl_usb, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
//user devices
//SST25VF_DEVICE("disk0", 2, 0, 0, 16, 80000000, &sst25vf_cfg, &sst25vf_state, 0666, USER_ROOT, GROUP_ROOT),
//ENC28J60_DEVICE("eth0", 1, 0, 0, 6, 20000000, &enc28j60_cfg, &enc28j60_state, 0666, USER_ROOT, GROUP_ROOT),
//FIFO buffers used for std in and std out
FIFO_DEVICE("stdio-out", &stdio_out_cfg, &stdio_out_state, 0666, USER_ROOT, GROUP_ROOT),
FIFO_DEVICE("stdio-in", &stdio_in_cfg, &stdio_in_state, 0666, USER_ROOT, GROUP_ROOT),
DEVICE_PERIPH("pio2", hwpl_pio, 2, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("pio3", hwpl_pio, 3, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("pio4", hwpl_pio, 4, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("i2c0", hwpl_i2c, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("i2c1", hwpl_i2c, 1, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("i2c2", hwpl_i2c, 2, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
//DEVICE_PERIPH("pwm1", hwpl_pwm, 1, 0666, USER_ROOT, GROUP_ROOT, S_IFBLK),
//DEVICE_PERIPH("qei0", hwpl_qei, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("rtc", hwpl_rtc, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("spi0", hwpl_ssp, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("spi1", hwpl_ssp, 1, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("spi2", hwpl_ssp, 2, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("tmr0", hwpl_tmr, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("tmr1", hwpl_tmr, 1, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("tmr2", hwpl_tmr, 2, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
UARTFIFO_DEVICE("uart0", &uart0_fifo_cfg, &uart0_fifo_state, 0666, USER_ROOT, GROUP_ROOT),
//DEVICE_PERIPH("uart0", hwpl_uart, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
UARTFIFO_DEVICE("uart1", &uart1_fifo_cfg, &uart1_fifo_state, 0666, USER_ROOT, GROUP_ROOT),
//DEVICE_PERIPH("uart1", hwpl_uart, 1, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("uart2", hwpl_uart, 2, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("uart3", hwpl_uart, 3, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
DEVICE_PERIPH("usb0", hwpl_usb, 0, 0666, USER_ROOT, GROUP_ROOT, S_IFCHR),
//board devices
S29GL_DEVICE("disk0", 0, 200000000, &s29gl_cfg, 0, 0666, USER_ROOT, GROUP_ROOT),
//FIFO buffers used for std in and std out
FIFO_DEVICE("stdio-out", &stdio_out_cfg, &stdio_out_state, 0666, USER_ROOT, GROUP_ROOT),
FIFO_DEVICE("stdio-in", &stdio_in_cfg, &stdio_in_state, 0666, USER_ROOT, GROUP_ROOT),
//system devices
