cx-zivuos/tests/000-default/testing.c

#include <zivuos/kernel.h>

int main() {
    kernel_init();
    return 0;
}