m-stein/genode — comment on commit 6c236947964f8e9df682838cfb6931ebe7ab0b68
File:  line 0
By chelmuth:

You may have a look at the [script](https://github.com/genodelabs/genode/blob/master/os/src/drivers/uart/pl011/calc_brd_values.py) I used.