added BBB support

2021-05-05 20:25:52 +02:00
parent b042335ed1
commit ad05d61a2e
24 changed files with 243 additions and 21 deletions
--- a/bsp_linux_board/boardconfig/gcov.h
+++ b/bsp_linux_board/boardconfig/gcov.h
@ -0,0 +1,14 @@
+#ifndef LINUX_GCOV_H_
+#define LINUX_GCOV_H_
+#include <fsfw/serviceinterface/ServiceInterfaceStream.h>
+
+#ifdef GCOV
+extern "C" void __gcov_flush();
+#else
+void __gcov_flush() {
+	sif::info << "GCC GCOV: Please supply GCOV=1 in Makefile if "
+			"coverage information is desired.\n" << std::flush;
+}
+#endif
+
+#endif /* LINUX_GCOV_H_ */