My photo


gl* programming (PV112 subject)

1 – the point was to make moving robot karel
2 – loading raw data created by rhinoceros 3d
3 – rotating with LookAt
4 – lights and material
proj – project to this course

Floating point in kernelspace

You may want to compute floating point in kernelspace of Linux. Linux doesn't support FP operations in some multiplatform way. For x86 architectures you may use kernel_fpu_begin/end function, but RT people won't like you, because it disables preempt.
In such a situation you need some workaround. I developped floating point module, used in phantom driver. It uses mmaped area, userspace program read that area and compute FP when there are some requests based on circular buffer (userspace program and makefile also included).
To download this module, use
git clone git://
and snapshots can be taken from snapshots dir (phantom-*).

Nettest module (NetBSD)

Playing with ether interface under NetBSD kernel. You can download it from its dir. There is also a little script (c).


Whole directory containing some other programming stuff.

Copyleft (c) 2008-2016 Jiri Slaby