tree bbb3ca0f92ab71954f74e6795ecda5ba40c7729f
parent f833b5dbd326393e98db7290d1418708cd82560b
author Christina Quast <chrysh.ng+git@gmail.com> 1422464310 +0100
committer Christina Quast <chrysh.ng+git@gmail.com> 1422464310 +0100

Added inttypes.h include directive in board.h

For now the inttypes.h of the development computer is used.
Which is a bad state. The reason is

It should be fixed by creating a stdint.h in the Baselib, which
defines types like uint32_t, etc., or by entirely replacing the Baselibs
with the newlib.