Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

use config_set only for boolean config values #89

Merged
merged 2 commits into from
Jun 17, 2024
Merged

use config_set only for boolean config values #89

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
488887a
use config_set only for boolean config values
lsf37 Mar 9, 2023
b70bf2f
ipc: explicitly disable IPC0028 until fixed
lsf37 Jun 17, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion apps/sel4test-tests/src/tests/fpu.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -187,4 +187,4 @@ int smp_test_fpu(env_t env)
return sel4test_get_result();
}
DEFINE_TEST(FPU0002, "Test FPU remain valid across core migration", smp_test_fpu,
config_set(CONFIG_MAX_NUM_NODES) &&config_set(CONFIG_HAVE_TIMER) &&CONFIG_MAX_NUM_NODES > 1)
config_set(CONFIG_HAVE_TIMER) &&(CONFIG_MAX_NUM_NODES > 1))
6 changes: 4 additions & 2 deletions apps/sel4test-tests/src/tests/ipc.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1361,6 +1361,8 @@ static int test_sched_donation_cross_core(env_t env)

return sel4test_get_result();
}
DEFINE_TEST(IPC0028, "Cross core sched donation", test_sched_donation_cross_core,
config_set(CONFIG_KERNEL_MCS) &&config_set(CONFIG_MAX_NUM_NODES) &&CONFIG_MAX_NUM_NODES > 1);
/* This test currently fails.
See https://github.com/seL4/seL4/issues/941 and https://github.com/seL4/seL4/pull/986 */
DEFINE_TEST(IPC0028, "Cross core sched donation", test_sched_donation_cross_core, false);
/* config_set(CONFIG_KERNEL_MCS) &&(CONFIG_MAX_NUM_NODES > 1)); */
#endif /* CONFIG_KERNEL_MCS */