Re: [seL4] Questions about Allocman

Hi Daniel, The physical address is not necessarily stored anywhere, as this is dependent on the specific untyped manager. There is an interface function `allocman_utspace_paddr` (https://github.com/seL4/seL4_libs/blob/master/libsel4allocman/include/allocman/allocman.h#L410) that will call

Re: [seL4] CapDL spec for Camkes-ARM-VM

Hi Adrian, Thank you for your response. Yeah I mixed the relationship between CamkES and CapDL. Best Regards -Daniel Wang > On Mar 7, 2018, at 5:36 PM, > wrote: > > Hi Daniel, > > The camkes-arm-vm project is built on CAmkES,

Re: [seL4] Compilation Error with version

Hi Thad, Can you please provide steps to reproduce this. Adrian On Thu 08-Mar-2018 4:01 AM, Thad Seeberger wrote: > Good day. I am getting hung up compiling the CAmkES compiles. I'm getting > following error which I believe is because the version.h.d does not exist. > Where is the version set?

Re: [seL4] Compilation Error with version

I saw something similar with Camkes-arm-vm-manifest repository after I sync. Will do more test make sure it is not a issue with configuration. Best Regards -Daniel Wang > On Mar 7, 2018, at 5:37 PM, > wrote: > > Hi Thad, > > Can

Re: [seL4] Compilation Error with version

Hi Daniel, To check out a particular version of default.xml you can pin it when you checkout via: repo init -u https://github.com/SEL4PROJ/camkes-arm-vm-manifest.git -b 15844a5f9ddd4a7b1a29144201e8a7431917efdb Having initialised a repo this way, running repo sync will not update anything.?

Re: [seL4] Compilation Error with version

Sorry to bother again. Just want to confirm the last working version for me (built on a Ubuntu 16.04 virtual machine) is camkes-arm-vm-manifest d648f10. I do not know if it is because some of the tools I have is old or something. I just found repo support local-manifest. So check out the old

Re: [seL4] Compilation Error with version

I see. I thought it might be due to my old configuration. Thank you for pointing it out for me. I will update my cmake. Best Regards -Daniel Wang > On Mar 7, 2018, at 10:24 PM, > wrote: > > Hi Daniel, > > The accelerator was

Re: [seL4] Compilation Error with version

Hi Daniel, The accelerator was changed in a way that requires some newer cmake features, but the cmake minimum required version (https://github.com/seL4/camkes-tool/blob/master/tools/accelerator/CMakeLists.txt#L15) was not updated resulting in this non-intuitive failure. The minimal cmake

Re: [seL4] Compilation Error with version

I’m afraid that the new update in default.xml in camkes-arm-vm-manifest repository may cause the problem. I could not get the old commit back, the “repo sync” seems always do a git pull before fetching… Does anyone know how to make repo download based on old manifest.xml? Best Regards -Daniel

Re: [seL4] seL4 developer review of RISC-V privileged ISA spec?

I'm so happy to hear this! On Thu, Mar 8, 2018, at 00:18, gernot.hei...@data61.csiro.au wrote: > Yes, RISC-V specs are high on my priorities. I’ll actually participate > in some of the working groups. > > Gernot > > > On 8 Mar 2018, at 05:00, Kelly Dean wrote: > > > > The

Re: [seL4] Compilation Error with version

Thank you so much Kent! It took me a while. I was trying to use -b 15844a5 but it does work. Best Regards -Daniel Wang > On Mar 7, 2018, at 10:11 PM, > wrote: > > Hi Daniel, > > To check out a particular version of default.xml you

[seL4] Compilation Error with version

Good day. I am getting hung up compiling the CAmkES compiles. I'm getting following error which I believe is because the version.h.d does not exist. Where is the version set? thx [camkes-accelerator] building... -- Configuring done -- Generating done -- Build files have been written to:

[seL4] irq_server example? Interrupt handlers?

Hi all! I have an Ethernet driver underneath an lwip implementation that I've gotten to run threaded tcpip. It happily passes messages back and forth and all around between half a dozen threads over a dozen ports all on localhost. Every once in a while though, it wants to send a packet to the