# SPDX-License-Identifier: GPL-2.0-or-later

tests_microblaze_system_thorough = [
  'replay',
  's3adsp1800'
]