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
TaskSwitchPluginX86_64
TaskSwitchPluginX86_64.arch
TaskSwitchPluginX86_64.name
TaskSwitchPluginX86_64.os
TaskSwitchPluginX86_64.produces
TaskSwitchPluginX86_64.__init__
TaskSwitchPluginX86_64.cancel_event
TaskSwitchPluginX86_64.load
TaskSwitchPluginX86_64.request_event
TaskSwitchPluginX86_64.uninit
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
»
TaskSwitchPluginX86_64
»
TaskSwitchPluginX86_64.os
View page source
TaskSwitchPluginX86_64.os
¶
TaskSwitchPluginX86_64.
os
= None
¶