#include <zivuos/kernel.h> #include <zivuos/latch.h> #include <zivuos/process.h> #include <zivuos/zivu_types.h> int main() { return 0; }