14:01 <vfazio> If anyone with an RPi is bored, i'd appreciate any testing on https://review.openocd.org/c/openocd/+/7732

19:03 <vfazio> is there a documented release cadence for openocd?

19:08 <dormito> I've noticed that defered cpus don't show up in gdb's "info threads" until something like "monitor core_up ${list of core ids}" (assuming the config file defines core_up). However when I do before linux is loaded (and then tell gdb to continue), the kernel is not able to start other cores, and doing it after linux starts is rather disruptive. Am I missing something?

19:46 <PaulFertser> vfazio: not documented since there's none

19:46 <vfazio> PaulFertser, ok. some projects follow a schedule, others are "when we feel like it". figured i'd ask

19:51 <PaulFertser> vfazio: sure