I have put together a version of the WavPack library specifically for hardware encoding that uses no floating-point math and consumes far less memory than the standard library encoder.
WavPack is already encoding losslessly realtime on Rockbox (for recording), and I think WavPack is an ideal format for embedded recording or streaming because of its modest CPU use and the flexibility and efficiency of its hybrid mode (much better than ADPCM)
The release is here and I have also created a version for TMS DSPs (and Code Composer Studio) that does not rely on an 8-bit data type that I can make available.
Thanks,
David