[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: