[Skiboot] Boot time and async loading of LIDs/Resources

[Cedric Le Goater]

[ ... ]

 
> Could someone look at similar numbers on some of the BMC machines? 

It might be interesting to time some specific sections of the code 
and output the result in log. 

Here are some figures for the systems I can access. To reach : 

	"INIT: Starting kernel ..." 

it takes : 

	6.2 sec		palmetto	
	9.5 sec		habanero

Cheers,

C.