oss/openadk: Open Source Appliance Development Kit @ 3f794fad83e51a090191803aa54f4a7fe0d5a2ef

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