diff options
| author | Alan Kao <alankao@andestech.com> | 2018-10-09 10:18:33 +0800 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@sifive.com> | 2018-10-22 17:02:23 -0700 |
| commit | 9671f7061433e2c58b9894093eada1898595b85d (patch) | |
| tree | 29630911728d35d4aac5b6dd08c2b96947a70d01 /lib/mpi/mpiutil.c | |
| parent | e8be5302330281bd9f77834600f63e8cc4560d3d (diff) | |
Allow to disable FPU support
FPU codes have been separated from common part in previous patches.
This patch add the CONFIG_FPU option and some stubs, so that a no-FPU
configuration is allowed.
Signed-off-by: Alan Kao <alankao@andestech.com>
Cc: Greentime Hu <greentime@andestech.com>
Cc: Vincent Chen <vincentc@andestech.com>
Cc: Zong Li <zong@andestech.com>
Cc: Nick Hu <nickhu@andestech.com>
Reviewed-by: Christoph Hellwig <hch@lst.de>
Signed-off-by: Palmer Dabbelt <palmer@sifive.com>
Diffstat (limited to 'lib/mpi/mpiutil.c')
0 files changed, 0 insertions, 0 deletions