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

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