platform/tests/01_platform.c

#define DEBUG
#include "../include/platform.h"
int main(int argc, char **argv){

    return plat_main(argc,argv);
}