I am doing currently some bare-metal experiments. For this it's important for me to be able to use debugger (peeking registers is important for the task).
I want to use qemu to be able to do some gdb debugging, but unfortunatelly AFAIK not all timers are implemented. For example timer located under 0x3F00B000 is not implemented (works fine under real raspberry pi2). My question is. which timers are implemented in qemu for raspi2 . Which one can I safely use?