Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 22:13:14.7393 [INFO] uart5: [output] CANTRIP> [scantrip_memory_manager::memory_manager::Untyped describe: seL4_Untyped_Describe { error: 2, remainingBytes: 245760, sizeBits: 19 }
- 22:13:14.7414 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Align slab split! cptr: 78 paddr base: 672940032 paddr top: 672956416
- 22:13:14.7431 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Align slab split! cptr: 79 paddr base: 672956416 paddr top: 672989184
- 22:13:14.7446 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Align slab split! cptr: 80 paddr base: 672989184 paddr top: 673054720
- 22:13:14.7460 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Align slab split! cptr: 81 paddr base: 673054720 paddr top: 673185792
- 22:13:14.7487 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7498 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7555 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7564 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7592 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7602 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7629 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7639 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7666 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7676 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7702 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7713 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7739 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7750 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7779 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7818 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7845 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7855 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7882 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7892 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7919 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7932 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7960 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.7971 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.7999 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8009 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8037 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8048 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8103 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8113 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8140 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8150 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8176 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8188 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8214 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8226 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8252 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8267 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8294 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8305 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8332 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8343 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8397 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8409 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8451 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8469 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8508 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8519 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8546 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8557 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8583 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8594 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8621 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8631 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8656 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8668 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8720 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8732 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8760 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8771 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8798 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8809 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8841 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8855 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8882 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8892 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8920 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8930 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.8959 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.8997 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9023 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.9033 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9059 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.9069 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9098 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.9108 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9134 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.9145 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9171 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.9181 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9208 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.9217 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9275 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.9286 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9312 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.9322 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9348 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.9357 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9383 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.9393 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9419 [INFO] uart5: [output] [0m[30;1m<<[0m[32mseL4(CPU 0)[0m[30;1m [decodeUntypedInvocation/209 T0x801ba500 "" @15e36]: Untyped Retype: Insufficient memory (1 * 131072 bytes needed, 0 bytes available).>>[0m
- 22:13:14.9430 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9439 [INFO] uart5: [output] slot_allocator::out of slots: 1 > 0
- 22:13:14.9452 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9462 [INFO] uart5: [output] slot_allocator::out of slots: 1 > 0
- 22:13:14.9473 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9487 [INFO] uart5: [output] slot_allocator::out of slots: 1 > 0
- 22:13:14.9499 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9509 [INFO] uart5: [output] slot_allocator::out of slots: 1 > 0
- 22:13:14.9547 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9556 [INFO] uart5: [output] slot_allocator::out of slots: 1 > 0
- 22:13:14.9568 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
- 22:13:14.9576 [INFO] uart5: [output] slot_allocator::out of slots: 1 > 0
- 22:13:14.9589 [INFO] uart5: [output] cantrip_memory_manager::memory_manager::Retype align 17: seL4_NotEnoughMemory
Add Comment
Please, Sign In to add comment