rgnsel_booter/source/main.c

#include <gccore.h>
#include <stdlib.h>
#define TITLE_ID(x,y) (((u64)(x) << 32) | (y))

int main(void) {
    VIDEO_Init();
    WII_LaunchTitle(TITLE_ID(0x00010008,0x48414C45)); // USA
    WII_LaunchTitle(TITLE_ID(0x00010008,0x48414C50)); // Europe
    WII_LaunchTitle(TITLE_ID(0x00010008,0x48414C4A)); // Japan
    WII_LaunchTitle(TITLE_ID(0x00010008,0x48414C4B)); // Korea
    exit(0);
}