1 /*
2  * Copyright (c) 2011-2014 Wind River Systems, Inc.
3  * Copyright (c) 2020 Stephanos Ioannidis <root@stephanos.io>
4  *
5  * SPDX-License-Identifier: Apache-2.0
6  */
7 
8 #include <zephyr/ztest.h>
9 
10 #include "test_common.h"
11 
12 #ifndef CONFIG_FPU
13 #error Rebuild with the FPU config option enabled
14 #endif
15 
16 #ifndef CONFIG_FPU_SHARING
17 #error Rebuild with the FPU_SHARING config option enabled
18 #endif
19 
generic_setup(void)20 static void *generic_setup(void)
21 {
22 	/*
23 	 * Enable round robin scheduling to allow both the low priority pi
24 	 * computation and load/store tasks to execute. The high priority pi
25 	 * computation and load/store tasks will preempt the low priority tasks
26 	 * periodically.
27 	 */
28 	k_sched_time_slice_set(10, THREAD_LOW_PRIORITY);
29 
30 	return NULL;
31 }
32 
33 ZTEST_SUITE(fpu_sharing_generic, NULL, generic_setup, NULL, NULL, NULL);
34