#43 prom_printf() doesn't support %%

[Brian Ruthven]

The line

printf("percent %% symbol\n");

will produce

percent  symbol

At the moment, this is not a real issue as the kernel doesn't use %%. Only processes have this opportunity, and only then because printf() is a hack to prom_printf(). Ideally, prom_printf() should support the %% notation too.

[Brian Ruthven]

I'm leaning towards "will not fix", because we don't need it in the kernel. The only reason to squeeze it in, along with the facility to pass in a NULL output buf pointer, would be to feed back into the SDCC distribution as a potential printf_tiny() function for Z80 to mirror the MCC51 version originally translated into Z80 in the first place.