PICOTM

Picotm is free software: you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version... Picotm is a system-level transaction manager that allows you to write C applications and firmware that is secure, reliable and thread-safe; yet easy to develop.