Documentation and tutorials

This is the main index of all the articles available on this web site


Getting started

MicroSD binaries download

Linux from scratch




How to design application boards

Third party articles on Acme boards

Other articles

Linux system how-tos

Linux applications

Programming examples

Command line pills

Check the Linux Kernel version: uname -r
Check the Debian version: cat /etc/debian_version
Check the IP address: ifconfig
Set the hostname: echo "myboardname" > /etc/hostname
Read the microSD serial number: cat /sys/class/mmc_host/mmc?/mmc?:*/serial
Check the incoming interrups: watch -n 1 -d cat /proc/interrupts
Check command line used to start the Linux Kernel: cat /proc/cmdline
List the driver built in the Kernel image: cat /lib/modules/$(uname -r)/modules.builtin
Display disk partitions: fdisk -l
Create and delete partitions: fdisk /dev/sda
Format the first partition on an USB key as fat: mkfs -t msdos /dev/sda1 (apt-get install dosfstools)
Format the second partition on an USB key as ext4: mkfs -t ext4 /dev/sda2

Logo and images


Obsolete articles

Bruna Mandolino