#ifndef __PROTOS__LINUX_H__
#define __PROTOS__LINUX_H__
#include <stdnoreturn.h>
noreturn void linux_load(char *config, char *cmdline);
#endif