Multiprocessor Fiasco? Drops on Pistachio?

Hi, I was wondering if anyone was working on either of the following scenarios: 1. EM64T or AMD64 multiprocessor support for Fiasco 2. Running the DROPS OS on top of multiprocessor Pistachio I am interested in this functionality, would like to not duplicate any existing work, and would like to contribute to these areas if there are already folks working on this. Thanks, MikeE