Hi!

 

What is this error and how might I go about tracking down the cause?

 

 

<<seL4(CPU 0) [decodeUntypedInvocation/167 T0xe0792100 "csm-threads" @3a98c]: Untyped Retype: Slot #15 in destination window non-empty.>>

_refill_pool@split.c:177 Failed to retype untyped, error 8

vka_alloc_object_at_maybe_dev@object.h:59 Failed to allocate object of size 4096, error 1

alloc_and_map@bootstrap.c:103 Failed to allocate bootstrap frame, error: 1

 

What I’ve done, is taken over the usual sel4test process and turned it into a little process that starts a few others.

This error occurs at near the beginning of the main process, after it has allocated some untyped space for a secondary process,

and just started it running. There is tons of memory available everywhere, and I do not understand why this is failing…. clues?

 

 

Thanks!

 

Richard H. Clark

 




This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc.