platform.c

Genode FX is a composition of hardware and software components that enable the creation of fully fl

/*
 * \brief  Dummy platform for SDL version
 * \author Norman Feske
 * \date   2008-08-17
 */

/* local includes */
#include "platform.h"

void init_platform(void) { }
void init_platform_gui(int menu_app_id) { }