#include "project.h" int console_tx (void *buf, size_t len) { usart1_tx (buf, len); return len; }