#include <picolibc.h>

#ifdef __x86_64
#include "crt0-64.S"
#else
#include "crt0-32.S"
#endif

