Make size of posix_clocks configurable
fb make size of video_options configurable