Comments (8)
We're about to finish a VM example (next week) so should have good sample code then. Writing a guide after that should be straightforward.
from microkit.
Sorry about the time this is taking. We've got the examples and are in the process of cleaning stuff up and moving from private branches to proper places. Should be done by the end of the week
from microkit.
The guide is finally done (apologies for the delay), the link to the repository is here: https://github.com/au-ts/camkes_to_sel4cp_guide.
There is a PDF available here as well https://trustworthy.systems/projects/TS/sel4cp/2304-11-camkes-to-sel4cp.pdf.
from microkit.
We don't presently have a transition guide, it's on the to-do list...
from microkit.
Update: We've got one of our CP-inexperienced (but CAmkES-experienced) engineers to play guinea pig for porting stuff to seL4CP and drafting a guide. Expect something soon.
from microkit.
@gernotheiser any updates here?
from microkit.
@gernotheiser any news about the VM example?
from microkit.
@podhrmic can this be closed or do you have more questions/concerns?
from microkit.
Related Issues (20)
- Do not assume kernel is configured with HAVE_SET_TRIGGER
- Add 1GiB page size for AArch64
- Check that registered IRQ numbers are sane
- API for dealing with cache-coherency on ARM HOT 1
- Please add versioned releases of the sdk HOT 2
- Please do not rely on **any** system headers for the microkit API HOT 1
- Declare stable API & ABI to ease implementation of Rust API HOT 15
- Make `static inline` optional HOT 4
- seL4 floating point compilation support HOT 6
- What is the purpose of the content of a passive server's initialization complete message HOT 2
- manual: typos and other questions HOT 1
- tool: Use `rustfmt` HOT 7
- 1.3.0 release archive permissions HOT 2
- Tutorial: part4 ppcall from VMM to less prioritized Wordle_server HOT 6
- Allow specifying `phys_addr` for non-device memory
- Use larger pages when mapping in large ELFs
- Complain at a microkit level of IRQ ACK is called on a non-irq channel HOT 1
- setvar_vaddr will happily patch the same variable twice HOT 1
- Microkit stack size HOT 1
- Have a "setvar" to reference Size of Memory Region from System Description in User Code
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from microkit.