The Charm Operating System

System call Manual pages V2.0

Getting Information from kernel

get_kernel_data

Managing Devices

reset_irq

irq_change_caps

Managing Time slices (scheduling)

ts_bind

ts_unbind

ts_yield

ts_change_caps

Managing Slack Time (scheduling)

slack_bind

slack_unbind

slack_change_caps

Managing Arenas

arena_create

arena_destrroy

arena_change_caps

arena_bind_irq

arena_unbind_irq

Managing Arena Entry Points

arena_set_activate

arena_set_clock_tick

arena_set_iac_upcall

arena_set_tss

arena_set_tse

arena_set_irq

arena_set_exception

Inter-Arena call

iac

Virtual Memory Management

vm_bind_root

vm_unbind_root

vm_bind_l1

vm_bind_l2

Physical Memory Management

pm_change_caps