New GCC compiler for 8086 cpu's

For those interested, Mentor announced a GCC back end for 8086 family of cpu's.
See the link:

https://blogs.mentor.com/embedded/blog/2017/04/01/announcing-sourcery-codebench-lite-for-ia16/

Following the links there you can reach the page for download.
This seems to be a development based on ia16-gcc previously mentioned
in this list, but using a newer version of GCC and all rough edges
rounded.

I used this compiler to build the ELKS kernel. The kernel produced
appears to work fine. The compiler is very fast and produces a smaller
kernel.