1#include <picolibc.h>
2
3#ifdef __x86_64
4#include "crt0-64.S"
5#else
6#include "crt0-32.S"
7#endif
8
9