Documents for the workshop on Embedded Systems in Janakpur