Status of codegen_gcc?

I thought codegen_gcc was further along than gccrs, and was even able to compile the kernel already? Is that not the case, since the article only mentions it in passing?