#include #include #include #include "fs/ext2/ext2_driver.h" uint64_t main(uint64_t init_cap) { ParseInitPort(init_cap); dbgln("VFs Started"); YellowstoneStub yellowstone(gInitEndpointCap); ASSIGN_OR_RETURN(ScopedDenaliClient denali, yellowstone.GetDenali()); Ext2Driver ext2(glcr::Move(denali)); check(ext2.ProbePartition()); return 0; }