--- a/test/testemulation.py	Sat Mar 08 16:46:51 2014 +0100
+++ b/test/testemulation.py	Sun Mar 09 11:55:55 2014 +0100
@@ -74,6 +74,13 @@
         data = self.runQemu('../examples/qemu_a9_hello/hello.bin', machine='vexpress-a9')
         self.assertEqual('Hello worle', data)
 
+    def testKernelVexpressA9(self):
+        """ Build vexpress cortex-A9 binary and emulate it """
+        recipe = os.path.join(testdir, '..', 'kernel', 'arm.yaml')
+        self.buildRecipe(recipe)
+        data = self.runQemu('../kernel/kernel_arm.bin', machine='vexpress-a9')
+        self.assertEqual('e', data[0])
+
 
 if __name__ == '__main__':
     unittest.main()