From: usenet@andyburns.uk   
      
   Surprised nobody has mentioned the Pico2 boards (based on RP2350A or   
   RP2350B chips, instead of RP2040).   
      
   2x ARM cores plus 2x RISC-V cores (perm any 2 from 4)   
   150 MHz with FPU instead of 133MHz without   
   lower power consumption   
   more I/O pins (B model only?)   
      
   I really ought to buy a couple for tinkering ...   
      
   official boards not available yet, but 3rd party boards are, e.g.   
      
      
      
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)