#include <lib/driver/avswitch.h>
#include <lib/driver/rfmod.h>
#include <lib/gdi/lcd.h>
#include <lib/dvb_ci/dvbci_ui.h>
extern void runMainloop();
#include <lib/driver/avswitch.h>
#include <lib/driver/rfmod.h>
#include <lib/gdi/lcd.h>
#include <lib/dvb_ci/dvbci_ui.h>
extern void runMainloop();