1/* 2 * Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3 * 4 * SPDX-License-Identifier: GPL-2.0-only 5 */ 6 7#pragma once 8 9 10#include <config.h> 11#include <util.h> 12 13#ifdef ENABLE_SMP_SUPPORT 14#define KERNEL_STACK_ALIGNMENT 4096 15#else 16#define KERNEL_STACK_ALIGNMENT 16 17#endif /* ENABLE_SMP_SUPPORT */ 18 19 20