HelenOS sources

frame_init        132 kernel/generic/include/mm/frame.h extern void frame_init(void);
frame_init        218 kernel/generic/src/main/main.c 	frame_init();
frame_init        325 kernel/generic/src/main/main.c 	frame_init();
HelenOS homepage, sources at GitHub