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

Node-RED

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