/* Returns path to the core hardware .ini file. This contains the
* hardware configuration that is read by the core. The content of this
* file is auto-generated before launching a core, but we need to know
* its path before that.
*/
static int
_avdInfo_getCoreHwIniPath( AvdInfo* i, const char* basePath )
{
i->coreHardwareIniPath = _getFullFilePath(basePath, CORE_HARDWARE_INI);
if (i->coreHardwareIniPath == NULL) {
DD("Path too long for %s: %s", CORE_HARDWARE_INI, basePath);
return -1;
}
D("using core hw config path: %s", i->coreHardwareIniPath);
return 0;
}
char* avdInfo_getDefaultCachePath( AvdInfo* i )
{
const char* imageName = _imageFileNames[ AVD_IMAGE_CACHE ];
return _getFullFilePath(i->contentPath, imageName);
}
char*
avdInfo_getDefaultDataImagePath( AvdInfo* i )
{
const char* imageName = _imageFileNames[ AVD_IMAGE_USERDATA ];
return _getFullFilePath(i->contentPath, imageName);
}
char*
avdInfo_getDefaultSystemImagePath( AvdInfo* i )
{
const char* imageName = _imageFileNames[ AVD_IMAGE_USERSYSTEM ];
return _getFullFilePath(i->contentPath, imageName);
}
