[haiku-bugs] Re: [Haiku] #10169: Double Fault Exception on usb boot x86_64
- From: "korli" <trac@xxxxxxxxxxxx>
- Date: Tue, 12 Nov 2013 07:12:45 -0000
#10169: Double Fault Exception on usb boot x86_64
-----------------------------+----------------------------
Reporter: korli | Owner: axeld
Type: bug | Status: new
Priority: normal | Milestone: R1
Component: System/Kernel | Version: R1/Development
Resolution: | Keywords:
Blocked By: | Blocking:
Has a Patch: 0 | Platform: x86-64
-----------------------------+----------------------------
Comment (by korli):
Replying to [comment:9 umccullough]:
> It seems perhaps you can create a "model" to declare this primitive and
it will check the stack below any given function that is modeled.
I suppose Coverity should fit our use case then. You can try with 8KB or
less for kernel threads.
We probably have to insert __coverity_stack_depth__ in our code. Kernel
entry points would be kernel threads and syscall entry points.
--
Ticket URL: <http://dev.haiku-os.org/ticket/10169#comment:10>
Haiku <http://dev.haiku-os.org>
Haiku - the operating system.
Other related posts:
