bochsrc for linux0.12