Updates to camkes-vm from camkes-3.7.x to camkes-3.8.0
libFileServer-client is now a library bundled with the
component. Components that are clients of the RPC interface provided by
FileServer can now link this client library and initialise it with
the name of the local-client interface binding (
Init) to set up
muslc syscall bindings.
- Update RPC templates with new
grantreply right (rather than
Ethdriver: Fix DMA physical and virtual DMA address assumption.
Previously, the component assumed that the physical and virtual DMA
addresses are the same. This is supposedly the case on x86 platforms but
not on ARM platforms. This commit fixes this assumption and correctly
passes the physical DMA addresses down to the Ethernet device driver.
Ethdriver: Add ARM
Ethdriver component and platform specific definitions
- Add PicoServer component for providing a UDP/TCP socket client interface and
Ethdriver: Use new
This commit updates the ARM versions of the
Ethdriver component to use
seL4DTBHardware connector. This is done to remove the additional
boilerplate code needed to initialise hardware resources.
PicoServer components, templates and interfaces to
- remove global
virtio_net_switch to new
Introduces the necessary changes for the
virtio_net_switch to work with
the new multi buffer virtqueue.
- CMake: Add Findcamkes-vm.cmake module
- Add griddle support for easy project configuration and building.
- CMake: Update project to use CMake modules