<system>
    <protection_domain name="client" priority="100">
        <program_image path="microkit-ipc-client.elf" />
    </protection_domain>

    <protection_domain name="server" priority="200">
        <program_image path="microkit-ipc-server.elf" />
    </protection_domain>

    <channel>
        <end pd="client" id="13" pp="true" />
        <end pd="server" id="37" />
    </channel>
</system>

const SERVER: Channel = Channel::new(13);

#[protection_domain]
fn init() -> impl Handler {
    debug_println!("client: initializing");
    HandlerImpl
}

struct HandlerImpl;

impl Handler for HandlerImpl {
    type Error = Infallible;

    fn notified(&mut self, channels: ChannelSet) -> Result<(), Self::Error> {
        debug_println!("client: notified by {}", channels.display());

        if channels.contains(SERVER) {
            debug_println!("client: TEST_PASS");
        }

        Ok(())
    }
}

const CLIENT: Channel = Channel::new(37);

#[protection_domain]
fn init() -> impl Handler {
    debug_println!("server: initializing");

    debug_println!("server: notifying client");

    CLIENT.notify();

    HandlerImpl
}

struct HandlerImpl;

impl Handler for HandlerImpl {
    type Error = Infallible;

    fn protected(
        &mut self,
        channel: Channel,
        msg_info: MessageInfo,
    ) -> Result<MessageInfo, Self::Error> {
        debug_println!("server: called by {:?}", channel);

        todo!()
    }
}