3 Commits

Author SHA1 Message Date
Sebastian Huber
c40e45b75e Update to FreeBSD head 2016-08-23
Git mirror commit 9fe7c416e6abb28b1398fd3e5687099846800cfd.
2017-01-10 09:53:31 +01:00
Sebastian Huber
3d1e767c8f Directly use <sys/types.h> provided by Newlib 2016-05-30 16:06:41 +02:00
Sebastian Huber
595b333ad2 Add INVARIANTS support 2015-05-20 15:03:32 +02:00