--- wikisrc/users/rkujawa.mdwn	2013/05/27 19:05:53	1.32
+++ wikisrc/users/rkujawa.mdwn	2013/05/30 00:10:32	1.33
@@ -21,10 +21,10 @@ In June 2011 I've officialy joined the N
 * [[tps65217pmic|http://netbsd.gw.com/cgi-bin/man-cgi?tps65217pmic++NetBSD-current]] - Texas Instruments TPS65217 Power Management IC driver (as found on BeagleBone and BealgeBone Black).
 * [[slhci_zbus]] - Zorro attachment code for the [[slhci|http://netbsd.gw.com/cgi-bin/man-cgi?slhci++NetBSD-current]] driver. Supports Thylacine USB HCI card.
 * [[mcp980x|http://netbsd.gw.com/cgi-bin/man-cgi?mcp980x++NetBSD-current]] - Microchip MCP9800/1/2/3 I2C temperature sensor driver.
+* Integration of [[Semihalf's|http://semihalf.com/]] NetBSD port to [[Marvell Armada XP|http://www.marvell.com/embedded-processors/armada-xp/]].
 
 ## Ongoing projects
 
-* Integration of [[Semihalf's|http://semihalf.com/]] NetBSD port to [[Marvell Armada XP|http://www.marvell.com/embedded-processors/armada-xp/]].
 * Migration of grf+ite console drivers to wscons (with Frank Wille).
 * [[ClockNet|users/rkujawa/clocknet]]