11 lines
154 B
C
11 lines
154 B
C
#include "kernel/types.h"
|
|
#include "kernel/stat.h"
|
|
#include "user/user.h"
|
|
|
|
int main(int argc, char *argv[])
|
|
{
|
|
shutdown();
|
|
// Unreachable
|
|
exit(1);
|
|
}
|