1239310Sdim/*
2239310Sdim * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3239310Sdim *
4239310Sdim * SPDX-License-Identifier: BSD-2-Clause
5239310Sdim */
6239310Sdim
7239310Sdim#include <sel4/deprecated.h>
8239310Sdim