L4Re Operating System Framework
Interface and Usage Documentation
Loading...
Searching...
No Matches
platform_control.h
1/*
2 * Copyright (C) 2024 Kernkonzept GmbH.
3 * Author(s): Jan Klötzke <jan.kloetzke@kernkonzept.com>
4 *
5 * License: see LICENSE.spdx (in this directory or the directories above)
6 */
7#pragma once
8
9#include_next <l4/sys/platform_control.h>
10#include <l4/sys/__platform_control-arm.h>