Hi, I noticed that your need fits perfectly with our experience, thus I would like to propose you our support (details to be discussed).
In order to confirm our experience in requested area I'm sending the examples of the
projects we completed:
* Porting of Linux kernel to different hardware platforms (Atmel AT91SAMA5, Infineon TC 1793),
* Drivers development -> Ethernet Driver for BeagleBone running MINIX OS, LCD driver
for Renesas chip, Linux drivers (e.g. PCIe, Powerlink),
* Touch-screen firmware and interface for industrial PLC,
* EtherCAT driver for Atmel SAM7X + LAN9252,
* Secure update feature for a Raspberry PI board system (bootloader).
Reference letters, company presentation available upon request.
Please contact me if you would like to discuss the details. We could agree on a fixed price project as well.
Yours faithfully,
Maciej Gasienica
JPEmbedded