Other Parts Discussed in Thread: TM4C1294NCPDT,
I want to write an embedded OS compliant with POSIX PE51 profile. For first implementation and tests I chose TM4C1294NCPDT (EK-TM4C1294XL) as the target platform. Of course, I also plan to write ports to other microcontrollers when everything is working.
I know a lot of things about theory of Operating Systems and I also know how to program microcontrollers in bare metal. But I know very little about editing linking files, startup code, bootloaders, etc. My question is: what do I need to know about these "configuration" related things in order to put the OS running? What IDE's automatically generated project configuration files we don't change when working with bare metal but NEED to change when writing an OS?
P.S.: I know some people will say I don't need to write one because there are lots of Operating Systems ready to use. But I'm not interested in using an OS to solve an specific problem. I want to write one by myself to learn how to do it.
Thanks!