#!/bin/sh

grub_modinfo_target_cpu=@target_cpu@
grub_modinfo_platform=@platform@