Kernel Blues?

You know, thanks to Intel’s little ‘design flaw’ in its CPUs and all of that buzz going on, we’re forced to patch around a little. This time, the linux kernel bails out *– * AR /usr/src/linux-4.14.12/tools/objtool/libsubcmd.a * CC /usr/src/linux-4.14.12/tools/objtool/libstring.o * CC /usr/src/linux-4.14.12/tools/objtool/str_error_r.o * LD /usr/src/linux-4.14.12/tools/objtool/objtool-in.o *make[2]: execvp: ./ Permission denied *make[2]: *** [Makefile:49: /usr/src/linux-4.14.12/tools/objtool/objtool] Error 127 *make[1]: *** […]

Today’s hint

Today I was trying to free some space on my server and came across my kernel sources which were a space hog here – especially if they’re already compiled: denkbrett src # du -sh linux- 718M linux- denkbrett src # cd linux- denkbrett linux- # make distclean denkbrett src # du -sh 437M . As you see, a […]


Do you still remember my Lenovo W500 notebook? I was writing about the setup and the issue with the switchable graphic cards. You remember: It got two cards – one for the hard work and one for saving power. Switching only worked via BIOS or using Windows.

Speeding up

“Don’t settle for ‘make boot faster.’ It’s the wrong question. The question is ‘make boot fast’.” – those are the words of two Intel developers rumbling the Linux scene: Arjan van de Ven and Auke Kok. Their idea is a quite uncommon attempt, disregarding the fact that Linus Torvalds dislikes it: They want to boot a whole system […]