4 Commits

Author	SHA1	Message	Date
Gerwin Klein	2c6109d279	Foundation setup and SPDX license tags ... Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>	2021-05-13 10:36:44 +10:00
matt rice	d1e699c0fd	fix cvector_count when building with -O0	2016-10-19 02:07:24 -07:00
Alexander Wharton	0800a289c6	change copyright headers from NICTA to Data61/CSIRO	2016-10-18 15:17:40 +11:00
Xi Ma Chen	6d640054ad	[snapshot] RefOS release shapshot v2.0. ... This is the release snapshot for RefOS v2.0.	2014-10-24 11:53:53 +11:00