History log of /seL4-camkes-master/projects/camkes/apps/uart_cogent/components/Client/src/client.c
Revision Date Author Comments
# e653f3f9 02-Dec-2020 Gerwin Klein <gerwin.klein@data61.csiro.au>

Convert license tags to SPDX

Also clarifies provenance of code in `apps/fdtgen/fdt_utils.c`

Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>
# 1b0e25a9 26-May-2019 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Add uart_cogent app

This app is an initial prototype of a sabre uart driver partially
written in cogent.

Currently only the initialisation of registers is done using cogent.