#include <system_info.h>
#include <dlog.h> // for logging purposes

void
get_device_model_name() {
	char *value;
	int ret;

	ret = system_info_get_platform_string("tizen.org/system/manufacturer", &value);
	if (ret == SYSTEM_INFO_ERROR_NONE)
	{
	  LOGI("Device model: %s", value);
	}

	free(value);
}