diff --git a/cpukit/include/sys/priority.h b/cpukit/include/sys/priority.h
new file mode 100644
index 0000000000..0dade6d62d
--- /dev/null
+++ b/cpukit/include/sys/priority.h
@@ -0,0 +1,2 @@
+
+/* For now, intentionally empty */