How tos & general index

Board specific technical documentation

Using the peripherals

Linux how tos

Downloads

Other articles

Programming examples

Windows Utilities

Linux 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

Troubleshooting

Obsolete articles

Bruna Mandolino