System Programming

(deprecated - please follow genodians.org)

Latest Posts

 
  • genodians.org

    Shortly after starting this blog, I found a new home for Genode related articles at genodians.org. Please, feel free to follow me at this new location.

  • ARM cpu and memory performance measures

    Recently, I recognized a regression in our (Genode’s) microkernel when running it on top of certain ARM Cortex A9 boards. It came out that due to code restructuring the quite...

  • Debug with i.MX6q SABRE for smart devices

    Today I remember why it is wise to document all activities you did once. I took the i.MX6 SABRE for smart devices out of our hardware cupboard, because I’d liked...

  • Getting Started

    Wow, that was quick. Today, I’ve used Jekyll and GitHub Pages to finally build up my blog. Although, I’m at odds with all those constantly changing web technologies, this time...