James Archer
James Archer
Fixes an issue where passive servers are not scheduled after migrating to another core during ReplyRecv. If during the handling of the receive part of ReplyRecv, the current thread migrates...
This PR aims to add support to the Microkit for seL4's domain scheduling. Ideally, if the user wished to use domain scheduling, they would specify a domain schedule as well...
This PR removes the const qualifiers from domain variables. This will allow the Microkit tool to patch the kernel's domain schedule. See #1301 for more information. Test with: https://github.com/seL4/sel4test/pull/126
This PR removes the const qualifiers from the variables in domain_schedule.c, so that it may be compiled with a kernel that also lacks const qualifiers on these variables (see https://github.com/seL4/seL4/pull/1308).
- [x] os.listdir() on some directories causes a crash (IP=NULL), e.g. os.listdir('content/images'). - [ ] need a proper asynchronous client library - [x] need examples in the README on how...
Currently when LionsOS example systems build third-party libraries in their own Makefiles they call each library's idiosyncratic build system directly, cluttering up the example. We might want to add useful...
When deploying the MicroPython component in a system, there is currently no way to actually interface with another component on the system purely by writing Python code. By interfacing with...
In the Net protocol, we have clients and servers in the sense that the virtualiser is a client of the driver, which is a server to the virtualiser, and end...
We provide a library lib_sddf_lwip.a for components which need an IP stack. However, because we configure lwIP at build time, each component needs to build this library independently in order...