diff options
| author | Pierre Roux | 2019-10-18 12:03:23 +0200 |
|---|---|---|
| committer | Pierre Roux | 2019-11-01 10:21:43 +0100 |
| commit | 3b1edf7cf689a54d03226072dd3b359026588e26 (patch) | |
| tree | f880c28437fc8cf896f5d1bff608fac3c081c4cc /kernel | |
| parent | 7088b2d4981496d5a2acf24566f486219237ef99 (diff) | |
Add the IEEE-754 arch requirement in INSTALL
Co-authored-by: Erik Martin-Dorel <erik.martin-dorel@irit.fr>
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions