In the ChorusOS operating system the following Hot Swap Controller drivers are provided (one reference board per target family):
usparchsc(9DRV)
gpiohsc(9DRV)
As the Hot Swap Controller is supposed to attach a handler to the ENUM# interrupt, this driver is very board specific.