m-stein/genode — comment on commit 152245ac40371616f8d287e1bc4ae515b5e8164f
File:  line 0
By m-stein:

Sounds good, amended to the last commit, my git log is a little fluctuating tody :-)
https://github.com/m-stein/genode/blob/d134a9b63ae7a0f15e0d0c26a2eb6cd3927d4843/base/include/util/register.h