Searched refs:got_kernel (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/tools/molly/
H A Dbuild_multiboot.c48 int got_kernel = 0; local
90 got_kernel = 1;

Completed in 70 milliseconds