-echo Connecting internal_kernel_sched_schedule
-echo "connect internal_kernel_sched_schedule scheduler" > /proc/ltt
+ #redirect markers carrying state information to dedicated channels
+ case $a in
+ list_process_state|user_generic_thread_brand|fs_exec|kernel_process_fork|kernel_process_free|kernel_process_exit|kernel_arch_kthread_create|list_statedump_end|list_vm_map)
+ CHANNEL=processes
+ ;;
+ list_interrupt|statedump_idt_table|statedump_sys_call_table)
+ CHANNEL=interrupts
+ ;;
+ list_network_ipv4_interface|list_network_ip_interface)
+ CHANNEL=network
+ ;;
+ kernel_module_load|kernel_module_free)
+ CHANNEL=modules
+ ;;
+ *)
+ CHANNEL=
+ ;;
+ esac