ClassicOS/bug_report.md at d98d2d4292b357c04380a9001b6211986e8459b4

mirror of https://github.com/gbowne1/ClassicOS.git synced 2024-11-22 14:16:52 -08:00

Greg Bowne d98d2d4292 Fixing the memory, adding a shell, and other minor bugs to gdt and idt and the types, also adds .github files for bug reports and feature requests.

2023-07-14 20:10:20 -07:00

name	about	title	labels	assignees
Bug report	Create a bug report to help us improve 88os

If you found a bug in 88os, please provide:

A clear and concise description of what the bug is: what happened and what you expected to happen.
Steps to reproduce the bug. Ideally, you would provide a small code example triggering the bug and the exact command line used to run KLEE. Please make sure the bug is still present in the mainline.
The warnings and error messages issued by KLEE
Any relevant information about your platform: the output of klee --version, OS version, environment variables, directory in which KLEE is run, etc.