#include <user/main.h>
#include <config.h>
// This is just a placeholder
void main(void *)
{
}