I see that the Iwill board dk82s is supported? Does anyone know
if the dk8-hkt board will work? It
is interesting because it has an HTK connector on it.
Do you mean the DK8-HTX ? If so, we ran LinuxBios during initial
bring-up of this board, and I believe we contributed back the changes
we needed for it.