1ce721b418
This makes the kernel configuration defaults public and known to the user level. Generally shouldn't depend on these definitions outside of code testing and benchmarking the kernel. Signed-off-by: Curtis Millar <curtis@curtism.me>
10 lines
146 B
C
10 lines
146 B
C
/*
|
|
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
|
|
*
|
|
* SPDX-License-Identifier: GPL-2.0-only
|
|
*/
|
|
|
|
#pragma once
|
|
|
|
#include <sel4/config.h>
|
|
|