RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

trivial: Add license

Browse Source 
Signed-off-by: Yanyan Shen <yanyan.shen@data61.csiro.au>
This commit is contained in:
Yanyan Shen
2019-11-18 21:04:25 +08:00
committed by Siwei Zhuang
parent 343761ca5c
commit 472cd300d7
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/arch/riscv/machine/fpu.c
View File

@@ -1,3 +1,9 @@
/*
* Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: GPL-2.0-only
*/
#include <arch/machine/fpu.h>
#ifdef CONFIG_HAVE_FPU