Hi All, Does Fiasco support floating point processing? If it supports, where is code to initialize and save/store floating point registers? Thanks a lot. Yuxin -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20150518/97e3ec7d/attachment.html>