The customized code for the 3DM GX4-25 can be found in GitHub.

For the telemetry data in a quadruped project, we are using a MicroStrain 3DM GX4-25. To get this device to work, you have to understand a few concepts built into the provided examples. The given example provides one large...

We have hit another wall with the seL4 development. We’ve been trying to benchmark the system based on the intra-address space IPC , inter-address space IPC, and memory mapping but we are having trouble in an area that we didn’t think we’d have trouble in.

We have been relying on the built in test structure. This structure relies on a...

I have been working with the Pointclouds library and the project is progressing. I have been able to “grab” (as it is called on the site for I/O interaction) a pointcloud from the Xtion I/O device. The issue we’re facing is that we would like to abstract the third party software as much as possible so we’re not depending...

Over the summer I’ve been working with microkernels (a.k.a. μ-kernels).  It took some time before I understood what a  μ-kernel was, and I’m still constantly learning. In short, a μ-kernel is a kernel that has been stripped down to where all components that aren’t necessary in the kernel are moved out into user space. The obvious exceptions being components that are needed for...