boot/dummy.c (
4
lines of code) (
raw
):
int main(void) { return 0; }