VUB OS software, for Ada and Smalltalk embedded systems, licensed
under the GPL version 2.