#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()); ASSIGN_OR_RETURN(Ext2Driver ext2, Ext2Driver::Init(glcr::Move(denali))); check(ext2.ProbePartition()); return 0; }