Thanks! Working with VexRiscv sounds like fun. Looking forward to seeing how it goes.