Correctness for BeagleBoard