/contrib/baremetal/

• ../
• Makefile
• main.c
• marini.txt
• misc.c
• startmpcc.S