set 08, 2021

The Moon

The Moon

set 07, 2021

Quote of the day

O que antes era marketing massivo, agora é personalização massiva. As marcas que mais rapidamente entenderem isso, vão se sobressair. É uma corrida em que a tecnologia te ajuda a entender melhor o cliente e suas nuances. - Paulo Camargo

ago 25, 2021

Migrating to Pelican

After a long time, I've finally complete the migration of this site to Pelican.

In the end, I decided to remove old posts that had no value anymore and converted the remaining to the new format. Hopefully, this will help me write more. :-D

jan 23, 2019

Reading the serial number of a POWER server from Linux

From time to time, I have to identify which physical server I'm connected to. That usually involves reading the manufacturer serial number of the server. That information is provided to Linux by the device tree, which is exported via procfs at /proc/device-tree/.

However, the file that hosts the serial number of your server may vary according to the virtualization mechanism in place, e.g. bare-metal and LPARs use the file system-id, while KVM guests use the file host-serial.

With that said, we can read the serial number of our server with the following command:

find /proc/device-tree/ -name host-serial -o -name system-id | xargs cat; echo

dez 01, 2018

Updated tutorial on Optimized libraries for Linux on Power

A while ago, David Flaherty wrote a nice tutorial about writing optimized libraries for Linux on Power. As time passed, parts of the tutorial became obsolete and needed some love.

Earlier in November I completed this update and removed all the obsolete parts, added new sections mentioning glibc's getauxval() and GCC's __builtin_cpu_is() and attribute ifunc.

Next → Page 1 of 3