Symbol: olpc_platform_t