I've recently needed to do some porting work for a PPC32 CPU running Linux. At the time I didn't have…