Eduardo Vasconcelos

--talk; ++theory; terminal += 2;

All articles

A local, terminal-based tool to manage my PhD research snowballing

I started my PhD four months ago, which means I'm already drowning in coffee and papers and in desperate need of a tool capable of managing chaos amid snowballing misery. I needed something to track my reading and summarization so I could start bracing for the inevitable calamity of writing …

Study notes on the Linux Security Module (LSM) kernel framework--Part 2

This blog post is a continuation to my previous study notes about the inner workings of the LSM kernel framework. Previously, I've established an understanding of where LSMs are positioned in the kernel's call sequence that leads to accessing system resources, how LSMs initialize, define and register call hooks based …

Cross-compiling the Linux kernel for ARM64 on the RPi using a QEMU x86_64 Arch Linux compilation host

I've been tinkering with the RPi to build a toy example in the context of my PhD research in the last couple of days, trying to get a custom kernel to work on a Zero 2 W board--for those unfamiliar with it, here's a picture:

RPi Zero 2 W.

As much as Raspberry …

On Linux kernel synchronization

From my practical work in kernel development so far, I realized that synchronization concerns are present in pretty much every single corner of kernel code. Hence, kernel synchronization is a topic that deserves special attention from kernel newbies like myself who want to build a working understanding of the Linux …

Study notes on the Linux Security Module (LSM) kernel framework--Part 1

My journey in Linux systems programming has been advancing quite well, and during the last month or so, I've been really delving into the Linux Security Module (LSM) kernel framework, in an attempt to get a grasp of its inner workings and to prepare the ground for my studies on …

How I became a contributor to the Linux kernel

After finishing Linux Foundation's course on kernel development (LFD103), I was feeling ready and eager to make my first contribution to the Linux kernel. The entire process from starting LFD103 and having my first patch accepted into upstream took me two weeks. This post provides insight on what my first …

Linux kernel development setup in Arch Linux

I've been working on Linux Foundation's kernel development course (LFD103), and I have chosen a virtual Arch box running on QEMU on top of a physical Arch host as my kernel development machine.

LFD103 recommends using either Ubuntu or Debian for course work, but I wanted to use Arch anyway …

[pt-BR] Método: este. Objetivo: procura-se.

Se você perguntar qual é o significado da palavra "objetivo" e, em seguida, o da palavra "método", eu arrisco dizer que a maioria das pessoas os enunciaria mais ou menos da mesma forma, dizendo, com suas próprias palavras, que "objetivo" é onde você quer chegar e "método" é a maneira …

[pt-BR] Um solver ad hoc de problemas aritméticos usando ábaco japonês em Lisp

Um dos meus hiperfocos mais recentes é o ábaco japonês--ou "soroban"--, um instrumento de artimética instrumental que se desenvolveu no Japão com base no ábaco chinês--ou "suanpan"--, a partir da importação deste para o Japão, em meados do século XIV.

Comecei a aprender as operações aritméticas básicas no soroban ao …

[pt-BR] A engenharia, as artes plásticas e a realidade

Certa vez, eu escrevi um texto chamado "A técnica, a arte e a plenitude", publicado em outro local, tratando essencialmente do fato de ser necessário, em alguns contextos, preparo específico para enxergar beleza em produtos da engenhosidade humana, como é o caso de algoritmos criptográficos. Achei por bem de reproduzir …