Jan 23, 2019
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
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
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
Dec 1, 2018
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.
Mar 29, 2018
Many users still prefer to interact with mailing lists via email. I'm one of them.
Some of the mailing lists I follow are maintained in Google Groups, which doesn't provide a good interface for subscription for people without a Google account.
Anyway, it's still possible to subscribe to these groups if you replace
group-name with the name of the group you'd like to subscribe to and visit:
In order to unsubscribe, visit the following link after replacing
group-name with the name of the group:
Nov 20, 2015
If it's not practical to redistribute free software, it's not free software in practice.
Jan 4, 2014
If you don't have full source to your firmware you don't have a system you can trust.
— Alan Cox