FreeBSD DRIVER DEVELOPMENT

[Admin]

Dear Sir/Madam,

I have requirement to develop driver for the PCI based hardware interface using FreeBSD Unix system. Would you please advise on the following:-

1)    What tools are available to develop driver for x86 machine using C?

2)    Suitable package including the operating system, tools and books etc?

3)    Can the driver developed for other unix operating system e.g. VxWorks can be imported into the FreeBSD and compiled without major code change?

Please advise a.s.a.p.

Kind Regards

Gurdial Chandra
Sycos AES