#include <types.h>
#include <list.h>
#include <syscall.h>

#define MODULE_FIRMWARE(x)