This is our initial port of fp16 to Unikraft as an external library. Libcxx is
required. When adding the library to the dependency list it should stay after
libcxx (e.g. ...:$(UK_LIBS)/libcxx:$(UK_LIBS)/libfp16:...).
Signed-off-by: Vlad-Andrei Badoiu <vlad_andrei.badoiu@stud.acs.upb.ro> Reviewed-by: Felipe Huici <felipe.huici@neclab.eu>