Category Archives: Embedded System

Kernel build on Nvidia Jetson TX1

Posted on December 31, 2018 by daveti

This post introduces native Linux kernel built on the Nvidia Jetson TX1 dev board. The scripts are based on the jetsonhacks/buildJetsonTX1Kernel tools. Our target is JetPack 3.3 (the latest SDK supporting TX1 by the time of writing). All the scripts … Continue reading →

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

Setting up Nvidia Jetson TX1

Posted on September 23, 2018 by daveti

Starting from this post, I will share my learning and hacking experience on Nvidia Jetson TX1 dev board. This post discusses the installation issue of JetPack [4] and post-installation configurations for TX1. We assume users follow the JetPack 3.3 installation … Continue reading →

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

Cross compile user-space applications using Yocto for Gumstix Overo

Posted on September 4, 2015 by daveti

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

Posted on July 1, 2014 by daveti

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

Posted on April 1, 2014 by daveti

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 , , , , , , , | 121 Comments

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

Posted on December 12, 2013 by daveti

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

Posted on November 5, 2013 by daveti

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