$ file EDK