Ask HN: Library for OS construction

Some time ago I came across a page on an university website for a series of software "libraries"(not in the strictest sense of the word,they were more of discrete components more than libraries, e.g. scheduling systems, filesystems etc. ) for constructing operating systems but I can no longer remember the link, does anyone know the site? I recall it was the libraries were originally made to work with Scheme.