I'm sure I read somewhere the default meanings of the four user LEDs
on the BBB, in particular the sequence as the system is powered up but
for the life of me I can't find it now.
Also I believe there are some diagnostic indications from the LEDs.
Can someone point me at a description please.