Merge branch 'master' of /pub/scm/gpxe
[gpxe.git] / contrib / baremetal / 
tree72e79a9934a0f2eb717e8e099fea7236e5a759c8
drwxr-xr-x   ..
-rw-r--r-- 15173 Makefile
-rw-r--r-- 31885 main.c
-rw-r--r-- 2140 marini.txt
-rw-r--r-- 7645 misc.c
-rw-r--r-- 14783 startmpcc.S