Gerwin Klein 5c1b81d9bb libsel4: fix license tags ... These files should have been released under BSD-2-Clause in the first place (as per parent LICENSE.md file). Closes #245 Signed-off-by: Gerwin Klein <gerwin.klein@data61.csiro.au>		2020-09-04 20:30:01 +08:00
..
aarch32	Do not generate data symbols for enums	2020-08-26 12:48:00 +10:00
aarch64	Do not generate data symbols for enums	2020-08-26 12:48:00 +10:00
ia32	Do not generate data symbols for enums	2020-08-26 12:48:00 +10:00
riscv32	libsel4: fix license tags	2020-09-04 20:30:01 +08:00
riscv64	libsel4: fix license tags	2020-09-04 20:30:01 +08:00
x86_64	Do not generate data symbols for enums	2020-08-26 12:48:00 +10:00
arm_hyp	Merge branch master into arm_hyp	2016-02-01 14:57:37 +11:00