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