Redirecting to
../../sel4_microkit_base/struct.Channel.html
...