I synced both vchiq-freebsd and userland to latest and greatest.
As I mentioned earlier – OS compatibility shim was removed from upstream sources so I had to create Linux KPI implementation layer which turned out not that awful task because I managed to reuse a lot of code from Max Khon’s DAHDI port. I had to implement (in somewhat hackish fashion) kthread API, re-implement semaphores support using condvar and mutex in order to get _interruptible part of API working properly and create dumb implementation of rather small subset of Linux list.h API.
With latest code I got pretty much all demos in hello_pi working except hello_jpeg(crashes system) and hello_encode(didn’t test). The most exciting bit for me was watching H.264 video playing on Raspberry Pi in hello_video demo. Network throughput still sucks so I had to copy file to tmpfs partition in order to get smooth playback though.
If you want to test VCHIQ – in addition to sources you’ll need latest firmware files. For demos you’ll also have to install freetype2 and manually hack Makefile.include in hello_pi. I’m planning to create ports/packages for both drivers and userland some time next week.
On the related note: Aleksandr Rybalko got XOrg working on Efika MX Smartbook so FreeBSD/Pi will get graphic interface soon 
Is this the one? http://freshbsd.org/commit/freebsd/r245389
Why “it will”? It already have! Commit which ezyclie points to close difference between my driver for Efika MX Smartbook and RPi, so now anyone may follow my blog post and compile and run Xorg on RPi too.
Thanks.
Hello,
Can someone make an updated image for FreeBSD/pi with these latest developments? (VCHIQ, X.Org packets)?
You can download it here: http://snakeorladder.com/rpi-dma-kernel.tar.gz
Hi Gonzo, i saw some files on https://github.com/raspberrypi/firmware/tree/master/boot
Which files should I use to boot FreeBSD?
I’ve just posted update instruction. Updated u-boot package with new firmware files: http://people.freebsd.org/~gonzo/arm/rpi/freebsd-uboot-20130201.tar.gz
Update: Xorg on RPi tested and working
Follow instructions here.