#!/bin/sh

# Checks if the drm keys are stored in a filesystem, currently
# there is only a single device in this category.

platform=$(cat /etc/platform)
if [ "$platform" = GFHD254 ]; then
  exit 0
fi

exit 1