GPL and NDA

Hello,

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: [phone]