This page is archived and is no longer receiving updates.
It remains here because some of the content may still be useful.
Updates to camkes-vm from camkes-3.7.x to camkes-3.8.0
camkes-vm
FileServer
: Movefsclient
tolibFileServer-client
.libFileServer-client
is now a library bundled with theFileServer
component. Components that are clients of the RPC interface provided by theFileServer
can now link this client library and initialise it with the name of the local-client interface binding (fs
forInit
) to set up themuslc
syscall bindings.- Update RPC templates with new
grantreply
right (rather thangrant
). 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 ARMEthdriver
component and platform specific definitions- Add PicoServer component for providing a UDP/TCP socket client interface and
consuming a
seL4Ethernet
interface. Ethdriver
: Use newseL4DTBHardware
connector. This commit updates the ARM versions of theEthdriver
component to use the newseL4DTBHardware
connector. This is done to remove the additional boilerplate code needed to initialise hardware resources.- Move
Ethdriver
andPicoServer
components, templates and interfaces toglobal-components
repository. - remove global
Configuration
library. - Update
virtio_net_switch
to newlibvirtqueue
. Introduces the necessary changes for thevirtio_net_switch
to work with the new multi buffer virtqueue. - CMake: Add Findcamkes-vm.cmake module
camkes-vm-examples
- Add griddle support for easy project configuration and building.
- CMake: Update project to use CMake modules