Changeset bab75df6 in mainline for kernel/test/fault/fault1.c

Timestamp:

2018-11-01T09:36:24Z (5 years ago)

Author:

Jiri Svoboda <jiri@…>

Branches:

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

Children:

a6e55886

Parents:

482f968

git-author:

Jiri Svoboda <jiri@…> (2018-10-31 17:34:06)

git-committer:

Jiri Svoboda <jiri@…> (2018-11-01 09:36:24)

Message:

Let kernel code get printf via the standard stdio header. Clean up unused includes.

File:

• kernel/test/fault/fault1.c (modified) (1 diff)

kernel/test/fault/fault1.c

@@ -28 +28 @@
  */
 
-#include <print.h>
-#include <debug.h>
-
 #include <test.h>
-#include <atomic.h>
-#include <proc/thread.h>
-
-#include <arch.h>
 
 const char *test_fault1(void)