oss/openadk: Open Source Appliance Development Kit @ 6a78bc12e72069ed929e8530e0ec729d85bd97c2

Waldemar Brodkorb 9e2fdf2375 Merge branch 'master' of git+ssh://openadk.org/git/openadk		%!s(int64=10) %!d(string=hai) anos
..
kernel	803b9757e0 remove kernel choice, always use 64 bit for 64bit target	%!s(int64=10) %!d(string=hai) anos
sys-available	357c6380c5 need ADK_LINUX_&$ here	%!s(int64=10) %!d(string=hai) anos
Config.in	50e7ffe10d fix native builds	%!s(int64=14) %!d(string=hai) anos
Makefile	d714919ee9 use archive without kernel	%!s(int64=10) %!d(string=hai) anos
target.mk	a0ad2f92a9 make optimiztion compiler flags configurable, default -Os -pipe	%!s(int64=10) %!d(string=hai) anos