I haven't finished the PCB design yet, but I have written the firmware (at least the first pass).

And it fits inside of 1K!

Note that the only sections of that output that count towards the 1K limit in the contest is "text" and "data". BSS is uninitialized RAM - doesn't count.

And so, it will be entered. Huzzah.

Note that the version of the code that actually fits in 1K will only show GPS (UTC) time as 24 hour time. The buttons won't do anything, and there won't be any timezone support. Nothing fancy.