add half space stuff (needs extended kernel)