Changeset 10d65d70 in mainline for kernel

Timestamp:

2018-09-29T14:39:54Z (7 years ago)

Author:

Jiří Zárevúcky <jiri.zarevucky@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

99170e0c

Parents:

dc68f72

git-author:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-09-29 14:11:34)

git-committer:

Jiří Zárevúcky <jiri.zarevucky@…> (2018-09-29 14:39:54)

Message:

Use compiler-provided freestanding headers

Standard-compliant C compiler must provide these, so there is no point
in us trying to guess or repeat the correct contents.
This includes <float.h>, <iso646.h>, <limits.h>, <stdalign.h>, <stdarg.h>,
<stdbool.h>, <stddef.h>, <stdint.h>, and <stdnoreturn.h>.

<stdint.h> and <limits.h> need more work.

Location:

kernel

Files:

• arch/riscv64/include/arch/mm/km.h (modified) (1 diff)
• generic/include/stdarg.h (deleted)
• generic/include/stdbool.h (deleted)
• generic/include/stddef.h (deleted)
• generic/src/cap/cap.c (modified) (1 diff)
• test/print/print2.c (modified) (1 diff)
• test/print/print4.c (modified) (1 diff)

kernel/arch/riscv64/include/arch/mm/km.h

@@ -38 +38 @@
 #include <stdbool.h>
 #include <stddef.h>
+#include <stdint.h>
 
 #define KM_RISCV64_IDENTITY_START      UINT64_C(0xffff800000000000)

kernel/generic/src/cap/cap.c

@@ -81 +81 @@
 #include <adt/list.h>
 
+#include <limits.h>
 #include <stdint.h>
 

kernel/test/print/print2.c

@@ -30 +30 @@
 #include <stddef.h>
 #include <test.h>
+#include <typedefs.h>
 
 const char *test_print2(void)

kernel/test/print/print4.c

@@ -30 +30 @@
 #include <stddef.h>
 #include <test.h>
+#include <typedefs.h>
 
 const char *test_print4(void)