Old posts describing how to flash a Samsung Galaxy S3 in Linux.

Please keep in mind this post is from 2013 and may no longer be valid.

We are going to compile libcec on a Raspberry Pi with Raspbian.

Install the necessary tools for compiling:

apt-get install build-essential autoconf liblockdev1-dev libudev-dev git libtool pkg-config

Clone the git repository:

git clone git://github …

In this post I'll show how to do some basic editing of the various boot loader's configuration files, how to add/remove options in the boot menu.