00:03 <Sprite_tm> cr1901_modern: That would be the default behaviour, yes.

00:03 <Sprite_tm> Depending on your settings, on gdb connect, openocd may do some stuff like reinitialize the target, though

01:59 <GenTooMan> Ok ... that didn't exactly work https://pastebin.com/FHmx82GC I created a copy of ICE40HX8KBEVNPlatform and added the IO names I am using for output anyhow it throws up on ClockDomain() type (not surprised just wondering how to use the PLL actually guessed at using https://github.com/icebreaker-fpga/icebreaker-nmigen-examples/blob/master/pdm_fade_gamma/gamma_pdm.py for a reference).

02:01 <whitequark> first, you shouldn't copy the platform

02:01 <whitequark> you can use platform.add_resources

02:15 <GenTooMan> I actually did that first (https://pastebin.com/8hvjLSsE) but wasn't sure about doing things that way so made a new platform instead.

21:23 <gruetzkopf> oh, i found a part of USB4 that looks like it actually came from TBT3:

21:23 <gruetzkopf> the mechanism by which the redrivers are addressed over the SBU pins!

21:24 <gruetzkopf> (also apple is cheating in macbooks and used a thunderbolt setup which doesn't use the external power enable..)