Port of Xinu V7 for AVR microprocessors