How do I configure the kernel within the DVSDK 4 environment? I an able to build the kernel but not configure. The beta DVSDK method to configure the kernel is shown as:
host$ make da850_omapl138_defconfig ARCH=arm CROSS_COMPILE=arm-none-linux-gnueabi-
but I can't find instructions for DVDSDK 4.