Documentation and tutorials

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

Products

Getting started

MicroSD binaries download

Linux from scratch

Pinouts

Peripherals

How to design application 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

Authors

Sergio Tanzilli
System designer, software developer and company co-founder
tanzilli@acmesystems.it
Webpages: https://www.acmesystems.it and http://www.tanzolab.it
Github repository: https://github.com/tanzilli and https://github.com/acmesystems
Ing. Roberto Asquini
Hardware designer, manufactoring engineer, firmware developer and company co-founder
asquini@acmesystems.it
Github repository: https://github.com/asquini
Guido Ottaviani
Hardware designer, firmware developer, technical writer and robotics specialist
guido@guiott.com
Webpage: http://www.guiott.com
Github repository: https://github.com/guiott

Troubleshooting

Obsolete articles