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