#ifndef _BOARD_IO_H
#define _BOARD_IO_H

#include <stdint.h>

uint8_t sw_read();

void led_set(uint8_t val);

#endif