I have a question regarding GPL and NDA issue.

I have documents for a specific chipset which I get  with NDA.
And I'm trying to port Linuxbios on that chipset.
As LinuxBIOS is GPL, I know I must make my port publicly available.
In this case, Is it a violation of NDA or not? Does it depend on NDA?

I think there are many people on this list who were in similar situation.
So please tell me some advice.

HeeChul Yun,         
Embedded S/W Team at ETRI
phone: +82-42-860-1673