More thoughts.

It is better to change the argument of WSDISPLAYIO_SENCODING from an
integer to a string (fixed size, probably 32bytes). And it is better
to pass the encoding name to kernel directly, rather than interpreting
the name in userland.

Because if in-kernel iconv() is introduced (*1), the encoding name
may become dynamic, and wsconscfg has no way to know the encoding
names which are configured in the kernel.

(*1) We need it anway to support some filesystems.
--
soda