Hi, I have a Tiny6410 SDK board running Linux. I would like to connect it to my PC using USB, e.g. using the serial gadget (g_serial.ko). Does the Tiny6410 linux kernel support USB gadget mode (i.e. allow connecting the 6410 to PC via USB)? It looks to me that there is only support for the 2440 linux kernel.