E51 Monitor Core

My HiFive Unleashed is running Debian, and I note that only the four U54 cores are listed in /proc/cpuinfo. Is there any work (in progress, or planned) for enabling he E51 monitor code–especially to handle OS level activities?

ChrisD

I am not aware of any work to use the E51 core.