[ build application { target = "serialserver",
  		              cFiles = [ "serialserver.c",
  		               "circular_buf.c",
  		               "serial_facade.c"],
  		               addLibraries = [ "grading",
  		                                "lpuart",
                                        "gic_dist"
                                               ],
                      architectures = allArchitectures
                    }
]
