#
# Xenomai Real-Time System
#
# Copyright (c) Siemens AG, 2024
#
# Authors:
#  Florian Bezdeka <florian.bezdeka@siemens.com>
#
# SPDX-License-Identifier: MIT
#

header:
  version: 14

machine: rpi4