Enable va_copy even for userspace
treebdd5fe7a07da56a754cd6f9b8e84fdf14d05c8b4
-rw-r--r-- 16007 HelenOS.config
-rw-r--r-- 3385 Makefile
drwxr-xr-x - abi
drwxr-xr-x - boot
drwxr-xr-x - contrib
drwxr-xr-x - defaults
drwxr-xr-x - kernel
drwxr-xr-x - release
drwxr-xr-x - tools
drwxr-xr-x - uspace
-rw-r--r-- 1941 version