I have just installed the new Crimson release with new drivers, and I am happy to announce that the dread printf bug,
where nothing would be printed if there was no format specifier, is now finally fixed!!
Before, if you put the line printf("hello") in your kernel, nothing would get printed, while printf("hello%d",0) would print.
Now, printf("hello") does print.
The new Crimson interface is also very nice.
Keep up the good work, AMD!