diff options
| author | Palmer Dabbelt <palmer@sifive.com> | 2018-10-22 17:38:26 -0700 |
|---|---|---|
| committer | Palmer Dabbelt <palmer@sifive.com> | 2018-10-22 17:38:26 -0700 |
| commit | 4e4101cfefd382176b05356c5ef112561ae10384 (patch) | |
| tree | b60173dc3824f7da801b33d5d1d172c4a6f9e41f /Documentation/filesystems/devpts.txt | |
| parent | aef53f97b505ff94190ce3a06dcd0ded6cf5c0ca (diff) | |
| parent | 9411ec60c23d868124d9c1b1d491937aebe07afa (diff) | |
| download | linux-4e4101cfefd382176b05356c5ef112561ae10384.tar.bz2 | |
riscv: Add support to no-FPU systems
This patchset adds an option, CONFIG_FPU, to enable/disable floating-
point support within the kernel. The kernel's new behavior will be as
follows:
* with CONFIG_FPU=y
All FPU codes are reserved. If no FPU is found during booting, a
global flag will be set, and those functions will be bypassed with
condition check to that flag.
* with CONFIG_FPU=n
No floating-point instructions in kernel and all related settings
are excluded.
Signed-off-by: Palmer Dabbelt <palmer@sifive.com>
Diffstat (limited to 'Documentation/filesystems/devpts.txt')
0 files changed, 0 insertions, 0 deletions