Trickster - 2021-09-28

Is it possible to force the C64 "machine" in the debugger to use another kernal, like JiffyDOS or DolphinDOS?