| /shark/branches/xen/shark.cfg |
|---|
| 37,7 → 37,7 |
| # Select the events tracer |
| # TRACER = NO,OLD,NEW |
| TRACER = NO |
| TRACER = NEW |
| # Select the BIOS INTERRUPT access mode |
| # BIOS = X,VM86 |
| 69,4 → 69,4 |
| # Select the S.Ha.R.K. file system support |
| # YES = build the FS library |
| # NO = do not build the FS library |
| SHARK_FS = NO |
| SHARK_FS = YES |