[Minios-devel] [UNIKRAFT/PTHREAD-EMBEDDED PATCH] Add sched.h header

[Costin Lupu <costin.lupu@xxxxxxxxx>]

Add it just to provide cpu_set_t type definition.

Signed-off-by: Costin Lupu <costin.lupu@xxxxxxxxx>
---
 include/sched.h | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)
 create mode 100644 include/sched.h

diff --git a/include/sched.h b/include/sched.h
new file mode 100644
index 0000000..a5bf369
--- /dev/null
+++ b/include/sched.h
@@ -0,0 +1,34 @@
+/* SPDX-License-Identifier: LGPL-2.0-or-later */
+/*
+ *      Unikraft port of POSIX Threads Library for embedded systems
+ *      Copyright(C) 2019, University Politehnica of Bucharest
+ *
+ *      This library is free software; you can redistribute it and/or
+ *      modify it under the terms of the GNU Lesser General Public
+ *      License as published by the Free Software Foundation; either
+ *      version 2 of the License, or (at your option) any later version.
+ *
+ *      This library is distributed in the hope that it will be useful,
+ *      but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ *      Lesser General Public License for more details.
+ *
+ *      You should have received a copy of the GNU Lesser General Public
+ *      License along with this library in the file COPYING.LIB;
+ *      if not, write to the Free Software Foundation, Inc.,
+ *      59 Temple Place - Suite 330, Boston, MA 02111-1307, USA
+ */
+
+#ifndef __PTHREAD_EMBEDDED__GLUE__SCHED_H__
+#define __PTHREAD_EMBEDDED__GLUE__SCHED_H__
+
+#include <stddef.h>
+#include_next <sched.h>
+
+#define CPU_SETSIZE 128
+
+typedef struct cpu_set_t {
+       unsigned long __bits[CPU_SETSIZE / sizeof(long)];
+} cpu_set_t;
+
+#endif
-- 
2.20.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel