change some io settings for TWR-K22F-120M

Dependents:   twr_helloworld

Revision:
0:b16d94660a33
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/TARGET_LPC4088/sys_helper.h	Tue Dec 23 03:35:08 2014 +0000
@@ -0,0 +1,16 @@
+#ifndef SYS_HELPER_H
+#define SYS_HELPER_H
+
+#include <stdint.h>
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+uint32_t __reserved_stack_size();
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif