add xenomai

hc

2024-11-01 2f529f9b558ca1c1bd74be7437a84e4711743404

1
2
3
4
5
// SPDX-License-Identifier: GPL-2.0
// Copyright (C) 2019 SUSE
 
/* The console loglevel fix is the same in the next cumulative patch. */
#include "test_klp_state2.c"