No offense to Azul, but that looks sort of like them just trying to get their kernel patches into the main linux kernel for ease of deployment. Having a plugga

No offense to Azul, but that looks sort of like them just trying to get their kernel patches into the main linux kernel for ease of deployment. Having a pluggable scheduler and memory management module might be nice for other pauseless GCs too, but not sure how that relates to any patents Azul may hold in this area, for instance: https://www.google.com/patents/US8452938?dq=ininventor:%22Gil+Tene%22&hl=en&sa=X&ei=xaofVJCVOMO7ogTogYGwDQ&ved=0CCQQ6AEwAQ https://www.google.com/patents/US8452938?dq=ininventor:%22Gi...