Question about which tools to use, bugs, the best way to implement a function, etc should go here. Don't forget to see if your question is answered in the wiki first! When in doubt post here.
I've currently trying to write a kernel in C++. I've written my own libc and compiled libstdc++ on top of it. I've tested the library and it is working fine on bare metal. However, when I turned on
You need to tell the compiler to use a software floating point ABI ("soft-float") I think it's just `-fsoft-float` but you will probably want to check that in the GCC documentation.