Hello!
The development board just arrived and it is just great.
It does not come with the full datasheet of the processor, however, we get very extensive information on how to configure the bootloader and burn the board.
We can actually change the splash screen image and load a new kernel if we really wanted to.
I have also been provided with the flashing tools and a huge amount of development tools, a virtual machine with everything set up and all the kernel headers and modules I need.

EDIT: I have just noticed the file I attached the last time was incomplete. Attached is a copy with all files present.
Also I have found out how to flash the DDCSV1.1 with a new image. This however might have killed my debug port inside my DDCSV1.1 (the USB part of it).
However I think I have completely found out how it would work. So the pins on the white debug connector that you need are:
UD+: Connect this to the green strand of a cut-off USB cable
UD-: Connect this to the white strand of that cable
GND: Connect this to the black strand of that cable
VBUS: Connect this to 3.3v of the same connector or the red strand of the cable (5v) (I am not entirely sure which of these is correct; 3.3v might work too)
Also bridge R91 (the two pins sticking out) with a jumper or cable.
If all that worked (and it did once for me until a cable slipped and fried the UD- pin

), it should show up as a USB mass storage device (e.g. a USB hdd or USB stick) in your file manager after you turn it on.
At this point you can use nuvoTon Turbo Writer (if you happen to have a copy of it

) to write a new boot kernel and splash screen image.
This did work fine with my development kit and I almost got it to work on my own controller. However any further research on kernels and splash screens will now be carried on on my development kit (same screen, same CPU, same RAM) and it should work the same on an actual controller.
Here are some pictures:



Cheers,
Benedikt