/*
 * (c) 2018 Adam Lackorzynski <adam@l4re.org>
 *
 * License: see LICENSE.spdx (in this directory or the directories above)
 */
#pragma once

#include_next <l4/sys/task.h>
#include <l4/sys/__task-arm.h>
