1.0
API Reference
tenjint.event
tenjint.output
tenjint.service
tenjint.logger
tenjint.optimize
tenjint.config
tenjint.debug
tenjint.tenjint
tenjint.plugins.machine
tenjint.plugins.operatingsystem
tenjint.plugins.singlestep
tenjint.plugins.breakpoint
tenjint.plugins.slp
tenjint.plugins.taskswitch
TaskSwitchPluginAarch64
TaskSwitchPluginBase
TaskSwitchPluginBase.arch
TaskSwitchPluginBase.name
TaskSwitchPluginBase.os
TaskSwitchPluginBase.produces
TaskSwitchPluginBase.__init__
TaskSwitchPluginBase.cancel_event
TaskSwitchPluginBase.load
TaskSwitchPluginBase.request_event
TaskSwitchPluginBase.uninit
TaskSwitchPluginX86_64
tenjint.plugins.interactive
tenjint.plugins.plugins
tenjint.api.api_x86_64
tenjint.api.api
tenjint.api.api_aarch64
tenjint Raspberry Pi 4 Image
tenjint
Docs
»
API Reference
»
tenjint.plugins.taskswitch
»
TaskSwitchPluginBase
»
TaskSwitchPluginBase.os
View page source
TaskSwitchPluginBase.os
¶
TaskSwitchPluginBase.
os
= None
¶