* Refer to LPC82x documentation (UM10800.pdf) for more information.
  */
 
-#include "lib/stdint.h"
-
-#include "core/lpc_regs.h"
-#include "core/lpc_core.h"
 #include "core/system.h"
 #include "lib/string.h"
 #include "lib/errno.h"
 
  * It has nothing related to the GPIO function of the pins.
  */
 
-#include <core/lpc_regs.h>
+#include "core/lpc_regs.h"
 
 
 
 
 /****************************************************************************
- *   lib/"lib/stdint.h"
+ *   lib/stdint.h
  *
  * Copyright 2016 Nathael Pajani <nathael.pajani@ed3l.fr>
  *
 
 #ifndef LIB_STRING_H
 #define LIB_STRING_H
 
-#include <lib/stddef.h>
+#include "lib/stddef.h"
 #include "lib/stdint.h"
 
 /**
 
  *    reentrant and should be faster). Use only strsep() in new code, please.
  */
 
-#include <lib/stddef.h>
+#include "lib/stddef.h"
 #include "lib/stdint.h"
 
 /**