HPS AMP running Linux + Bare-Metal

I would like to design a system on a dual core HPS that runs Linux on cpu0 and a bare metal application on cpu1. I have searched high and low and cannot find any information on how to do this. Ideall...