Moved MSR read/write APIs out of devarch and into a dedicated file
[akaros.git] / kern / lib / circular_buffer.c
2015-11-18 Davide LibenziAdded API to append data into a circular buffer