[coyotos-dev] CapIDL array error?

[Venkatesh Srinivas]

Hi coyotos-dev,

When I try to use the CapIDL array type, I get invalid generated code in
my .server.h file.

Specifically:
   typedef array<unsigned short, 4096> chBuf;

Caused this to appear: 
(in .server.h, in the demarshall function for a method accepting a chBuf)
   ...
   coyotos_driver_AudioDevice_chBuf s;
   __builtin_memcpy(s, &_params.server_in.s, s, sizeof(s[0]) * 4096);
   ...

--vs