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>
arm
l4
sys
platform_control.h
Generated on Sat Aug 24 2024 16:07:22 for L4Re Operating System Framework by
1.9.8