What's tools and process to port Pi to FreeRTOS

[lilzz]

https://github.com/jameswalmsley/RaspberryPi-FreeRTOS

What's tools and process that generate the .ld , .mk files?

How does it generate the linker file to link startup.S with application program?

How does it generate the linker file to link FreeRTOS files with Pi Drivers files?

any tutorial outthere to show how its done step by step ?

[stevech]

Makes no sense because RPi is intrinsically Linux based and the I/O drivers are for Linux.

[lilzz]

Makes no sense because RPi is intrinsically Linux based and the I/O drivers are for Linux.

What the heck you talking about?

intrinsicaly LINUX?? LOL,

I/O drivers are for Linux?? Again LOL.