cfallin/speck

speck: the small, portable, efficiently-coded kernel

C