Symbol: rumpfs_init