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

#include <ecp/core.h>

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