path: root/code/fe310/eos/ecp.h

#include <ecp/config_fe310.h>
#include <ecp/core.h>
#include <ecp/vconn/vconn.h>

int ecp_init(ECPContext *ctx);
void ecp_sock_set(ECPSocket *s);