The CAMKES_VM_APP=cma34cr_centos configuration still works in the mainline repositories. I went through and altered some of the error messaging to only warn in situations where the errors are expected. For other outputs:
IOMMU: DMA read page fault from 0xd0 (bus: 0x0/dev: 0x1a/fun: 0x0) on address 0x0:aae16000 with reason code 0x6 This occurs sometimes when devices try to access memory but don't have access via the IOMMU. They are spurious and the kernel prints the faults for diagnostic reasons, but don't indicate any errors unless a driver is trying to communicate with the device at the same time. [email protected]:386 Failed to find rsdp [email protected]:274 arguments cannot be NULL [email protected]:23 Could not find info The acpi, hpet and pmem errors are all paths where the caller is able to handle failures so I downgraded these messages to warnings for now. FAULT HANDLER: user exception (number 13, code 0) from time_server.time_server_0_control (ID 0x2), pc = 0x423a47, sp = 0x453cf0, flags = 0x10202 This is a legitimate error, which you tracked down to be the lexicographical ordering bug. > "because of lwip’s udp_new returning NULL" I'm not sure what you mean by this but it could have been caused by cascading failures from the time server? ________________________________ From: Nogin, Aleksey <[email protected]> Sent: Tuesday, 19 November 2019 5:16 PM To: Mcleod, Kent (Data61, Kensington NSW) <[email protected]>; [email protected] <[email protected]> Subject: RE: Is there a "modern" seL4 manifest/configuration that is known to run on CMA34CR? With a recent version of everything, I get the following on startup of the “CAMKES_VM_APP=cma34cr_centos”(*) build … Booting all finished, dropped to user space IOMMU: DMA read page fault from 0xd0 (bus: 0x0/dev: 0x1a/fun: 0x0) on address 0x0:aae16000 with reason code 0x6 [email protected]:386 Failed to find rsdp [email protected]:274 arguments cannot be NULL [email protected]:23 Could not find info … Does this indicate problems that I should worry about? The reason for my question is that in porting some simple code (without any VMs) that worked fine on the 32-bit seL4 from ~2 years ago to a more recent version of everything, I get the following on startup: Booting all finished, dropped to user space IOMMU: DMA read page fault from 0xd0 (bus: 0x0/dev: 0x1a/fun: 0x0) on address 0x0:aae16000 with reason code 0x6 [email protected]:386 Failed to find rsdp [email protected]:274 arguments cannot be NULL FAULT HANDLER: user exception (number 13, code 0) from time_server.time_server_0_control (ID 0x2), pc = 0x423a47, sp = 0x453cf0, flags = 0x10202 followed by some of my components failing to initialize correctly because of lwip’s udp_new returning NULL, and something else also spewing two copies of “[email protected]:23 Could not find info” message… I will try to figure this out myself, but would appreciate any pointers. Thanks! (*) I am running on a CMA34CR + CAN board, so some of the HW parameters might be slightly different from the version of the HW we all used in the previous projects. I’ve updated HW parameters in the cma34cr_centos.camkes accordingly, but may have missed something. Aleksey From: Mcleod, Kent (Data61, Kensington NSW) <[email protected]> Sent: Friday, August 16, 2019 3:56 PM To: Nogin, Aleksey <[email protected]>; [email protected] Subject: Re: Is there a "modern" seL4 manifest/configuration that is known to run on CMA34CR? They were moved to camkes-vm-examples (https://github.com/sel4/camkes-vm-examples<https://protect2.fireeye.com/url?k=ba944cfd-e60e3618-ba97b6f5-861cd9c308db-6186e0c9cb6b06be&q=1&u=https%3A%2F%2Fgithub.com%2Fsel4%2Fcamkes-vm-examples>). You can checkout and build with the following: repo init -u https://github.com/sel4/camkes-vm-examples-manifest<https://protect2.fireeye.com/url?k=0311632d-5f8b19c8-03129925-861cd9c308db-8f2f8fe5de1fe3e7&q=1&u=https%3A%2F%2Fgithub.com%2Fsel4%2Fcamkes-vm-examples-manifest> repo sync mkdir build cd build ../init-build.sh -DCAMKES_VM_APP=cma34cr_centos ninja ________________________________ From: Devel <[email protected]<mailto:[email protected]>> on behalf of Nogin, Aleksey <[email protected]<mailto:[email protected]>> Sent: Saturday, 17 August 2019 8:25 AM To: [email protected]<mailto:[email protected]> <[email protected]<mailto:[email protected]>> Subject: [seL4] Is there a "modern" seL4 manifest/configuration that is known to run on CMA34CR? Unless I am looking in the wrong place, all the CMA34CR support was removed in https://github.com/seL4/camkes-vm/commit/aab3478acc4705a3161f5bf59625f7c96a801544<https://protect2.fireeye.com/url?k=66b8fd91-3a228774-66bb0799-861cd9c308db-80a54263f32b72ed&q=1&u=https%3A%2F%2Fgithub.com%2FseL4%2Fcamkes-vm%2Fcommit%2Faab3478acc4705a3161f5bf59625f7c96a801544>. Is there something that remains? If not, what would be the best starting point to try to port a demo running on CMA34CR board from an old (early 2017) version of the sel4/camkes/etc to a recent stable release (e.g, 10.1.1)? Thanks. Aleksey CONFIDENTIALITY NOTICE: The information transmitted in this email, including attachments, is intended only for the person(s) or entity to which it is addressed and may contain confidential, proprietary and/or privileged material exempt from disclosure under applicable law. Any review, retransmission, dissemination or other use of, or taking of any action in reliance upon this information by persons or entities other than the intended recipient is prohibited. If you received this message in error, please contact the sender immediately and destroy any copies of this information in their entirety. CONFIDENTIALITY NOTICE: The information transmitted in this email, including attachments, is intended only for the person(s) or entity to which it is addressed and may contain confidential, proprietary and/or privileged material exempt from disclosure under applicable law. Any review, retransmission, dissemination or other use of, or taking of any action in reliance upon this information by persons or entities other than the intended recipient is prohibited. If you received this message in error, please contact the sender immediately and destroy any copies of this information in their entirety.
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
