Category Archives: Embedded System

Cross compile user-space applications using Yocto for Gumstix Overo

An official way to add a software package using Yocto is to add a new layer if there is no recipe existing for this package. Then baking the whole image should have it included. However, we are not going to … Continue reading

Posted in Embedded System, IDE_Make | Tagged , , , , , | Leave a comment

USB mass storage on Gumstix – a tricky issue using Yocto Daisy

A recent upgrade of Yocto, from Dora to Daisy, broke the things worked before. Actually, CONFIG_USB_MASS_STORAGE, enabled in the defconfig of the Overo, was not passed to the .config during the kernel build. This weird missing config costed me 24-hour … Continue reading

Posted in Embedded System, Linux Distro | Tagged , , , , , , | 2 Comments

Gumstix Overo – USB gadget mass storage

This post introduces the general procedure to make gumstix overo work as an USB gadget mass storage using the Yocto Linux. Thanks Adam Lee (Gumstix) for the gadget configuration consulting and debugging. Thanks Tyler Nichols (OSIRIS Lab) for the hardware … Continue reading

Posted in Embedded System, Linux Distro, OS | Tagged , , , , , , , | 120 Comments

A paper review – seL4: Formal Verification of an OS kernel

Paper review for – seL4: Formal Verification of an OS Kernel daveti@cs.uoregon.edu Dec 10, 2013 How could we guarantee the code we are running is right? Even after different and long-time testing, we have yet not been so sure that … Continue reading

Posted in Embedded System, OS, Programming, Security | Tagged , , , , | Leave a comment

Connect the Gumstix using minicom in Mac OS

Gumstix.org has provided the most useful information for developers about gumstix development, though a little bit out dated. This post will show a real example for Mac OS (10.9) to connect with a gumstix (Overo+Palo35) using minicom. Have fun! 0. … Continue reading

Posted in Embedded System | Tagged , , | Leave a comment