I was reading here and found that the TM4C123 has a good starter from years back that I followed to handle each and every possible facet of the on board M4. It is an older model. 16 years ago, I am pretty sure, is the last update to the programming model and so on in the TRM.
Outside of that one M4 and I understand you are building around specific processors here, newer M4 processors exist along with an updated TRM for specifics. Then, there is the CMSIS which has recently, a year or two ago, been broken down in to many subsets.
If you can manage baremetal on a power horse of a processor like the am6254, more power to you.
Anyway, the reason I brought up the older model M4 processor on the TM4C123 is because of the fact that UT did a TI.com introduction course for the launchpad that holds this specific M4.
I was highly interested in it. From stepper robots to UART debugging, there must have been three books and tons of interest from UT in the M4 tech then as it did go.
Like the plus pages in the TRM for the am6254, there is an IPC and M4 with such powers from Linux and/or the am6254. It is really quite interesting. Transferring data from and to a M4 from such a power processor via IPC is quite powerful.
Anyway, some may help or shy you away. I say if you have a known university backing and are willing to try, go for it but Linux is a powerful entity too. I would not shy away from it so far. You can handle groups and the backing of such groups with lacking full knowledge or give specific people use cases of “full” knowledge of working conditions.
For instance, Tom knows about Lisa’s and Miguel’s working Linux Distro but Sam can only see Lisa’s typing and build requirements. systemd stuff…
Sometimes it is more clear in the future picture why things are the way they are now and this goes along with Linux and the building blocks surrounding Linux, processing, and giants in the game.
systemd is a power horse like the processor in question. I am literally shaming the input from others on this forum at times because of how much they know compared to me. I try to not do so with the current status of my life. But!
I make mistakes. I think the baremetal Linux realm has been vanquished. I am not 100% positive but what I have learned is that intrinsics need overseers and managers. The overseeing is not so much collective as it is needed. Anyway…
Seth
P.S. Good luck on your endeavors! It is not easy to handle embedded as is now and baremetal embedded is the deprecation while the baremetal Linux is the vanquishment. I am pretty sure here…
Update
did anyone contact beagleboard.org personnel yet?