oh, right, then: that's indeed very very feasible
the C300 does exactly that with its 8mpix sensor and a Digic DV III processor that can also be found on $200 consumer camcorders, so, if you can get the data out of the sensor fast enough, everything else is definitely not a big feat
regarding codec, both Canon and Sony have nice mpeg-2 8-bit 4:2:2 codecs working at 50 Mbps (Canon-XF and XDCAM-HD422), I guess going 12-bit would require 75Mbps, which sounds very reasonable
if you want a readily available sequence-of-stills format, it can be DCP (digital cinema package): that's what digital projectors at theaters use most often, and even though it's thought out as a delivery format, I think it's good enough for acquisition too (it's a string of JPEG2000 files with up to 12 bits per channel) - it may be very messy to work with in post, though
Digital Cinema Package - Wikipedia, the free encyclopedia
for the K-01, I think all we could ask for is H.264 or mpeg-2 with 8-bit 4:2:2 at a high bitrate, if a hack can achieve that (the GH2 H.264 hack gets a very high bitrate, but it's still 8-bit 4:2:0)