c++ - TouchGFX を使用した SDRAM からのイメージの表示

Question

SDCard からビットマップ イメージを外部 SDRAM のアドレス 0xC0000000 にコピーしました。TouchGFX関数を使ってこの画像を表示したいです。このドキュメントで読んだように、次のコードを実行する必要があります。

static uint32_t bmpCache = (uint32_t)(0xC0000000); // SDRAM
void touchgfx_init()
{
  HAL& hal = touchgfx_generic_init<STM32F7HAL>(dma, display, tc, 480, 272, (uint16_t*)bmpCache, 232000, 1);
  ...
}

しかし、プロジェクトをコンパイルするときにこのコードをプロジェクト ( TouchGFXConfiguration.cpp ) に取り込むと、次のエラーが発生します。

'STM32F7HAL' was not declared in this scope

プロジェクト全体で「STM32F7HAL」を検索しましたが、検索結果には何も見つかりませんでした。また、私のプロジェクトは STM32F779 マイクロコントローラと STM32F779EVAL ボードで実装されています。