To whom it may concern,
I am looking at https://github.com/seL4/camkes-vm-examples repo, specifically, vm_cross_connectors. Side note, I am just learning CAmkES and seL4 so my knowledge is limited.
Looking at the connection kernel module, it looks like it should be initializing the dataport device in /dev but when I run the example, it does not appear that the device has been exposed (no uio0 in /dev) which is what I thought the module did. I confirmed with lsmod that the connection module (connection.ko) is loaded.
What do I need to do to expose /dev/uio0 (or any device name that refers to the dataport)?
I am looking at seL4HardwareMMIO but I noticed that the example does not use it.
If you could point me in the right direction I would really appreciate it.
Thanks, Nathan