History log of /seL4-camkes-master/projects/camkes/apps/rumprun_ethernet/components/rump_ether/tcp_server.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>


# 9e00d2dc 04-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Licenses: s/NICTA_BSD/DATA61_BSD


# 2440b3c9 04-Jul-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Add custom tags to files with custom licenses


# cd17c313 28-Jun-2017 Kent McLeod <Kent.Mcleod@data61.csiro.au>

Add rumprun demo apps