//
// Created by MightyPork on 2016/9/2
//

#ifndef MPORK_USER_MAIN_H
#define MPORK_USER_MAIN_H

#include <common.h>

void user_main();

#endif //MPORK_USER_MAIN_H