Hot-plugging microSD on Raspberry Pi under FreeBSD

From: bob prohaska <fbsd_at_www.zefox.net>
Date: Sun, 26 Dec 2021 19:23:38 UTC
Are there any special protocols to observe when hot-plugging
microSD cards on Raspberry Pi when FreeBSD is up and running?
Electrically it's claimed to be ok in this thread by one "jdb":
https://forums.raspberrypi.com/viewtopic.php?t=281249
so I'm asking about how the FreeBSD software might react. 

Obviously filesystems have to be gracefully unmounted, but is
that all? Can the kernel be "aware" of an unused device and
get confused if it goes away?

Thanks for reading,

bob prohaska