// See LICENSE for license details. #include "femto.h" auxval_t __auxv[] = { { 0, 0 } }; void arch_setup() {}