Fix some minor errors

include/arch/at91sam3x8e/interrupt.h

@@ -154,7 +154,7 @@ enum irqno {
 	IRQNO_EFC1		= 7,
 	IRQNO_UART		= 8,
 	IRQNO_SMC		= 9,
-	IRQNO_POIA		= 11,
+	IRQNO_PIOA		= 11,
 	IRQNO_PIOB		= 12,
 	IRQNO_PIOC		= 13,
 	IRQNO_PIOD		= 14,

include/ardix/types.h

@@ -48,7 +48,7 @@ typedef __PTRDIFF_TYPE__	ssize_t;
 
 #if CONFIG_SCHED_MAXPROC < 128
 #define _PID_TYPE_ int8_t
-#elif CONFIG_SCHED_MAXPROC < 65536
+#elif CONFIG_SCHED_MAXPROC < 32767
 #define _PID_TYPE_ int16_t
 #else
 #define _PID_TYPE_ int32_t

include/stdbool.h

@@ -29,6 +29,8 @@
 
 #include <stdint.h>
 
+typedef _Bool bool;
+
 #ifndef true
 #define true ((bool)1)
 #endif /* true */

include/stdint.h

@@ -76,5 +76,3 @@ typedef __UINT32_TYPE__		uint32_t;
 /** Unsigned 32-bit integer. */
 typedef unsigned long int	uint32_t;
 #endif /* __UINT32_TYPE__ */
-
-typedef uint8_t			bool;

kernel/sched.c

@@ -27,7 +27,6 @@
 
 #include <arch/hardware.h>
 #include <arch/sched.h>
-#include <ardix/clock.h>
 #include <ardix/sched.h>
 #include <ardix/string.h>
 #include <ardix/types.h>

lib/string.c

@@ -1,6 +1,5 @@
+/* SPDX-License-Identifier: BSD-3-Clause */
 /*
- * SPDX-License-Identifier: BSD-3-Clause
- *
  * Copyright (c) 2020 Felix Kopp <sandtler@sandtler.club>
  *
  * Redistribution and use in source and binary forms, with or without modification, are permitted