Skip to content

Commit

Permalink
Add missing #include
Browse files Browse the repository at this point in the history
  • Loading branch information
@gridbugs
gridbugs committed May 18, 2017
1 parent cf42782 commit 4584c24
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions libsel4camkes/src/arch/x86/crt0.S
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@

#define __ASM__
#include <sel4/arch/constants.h>
#include <sel4/sel4_arch/constants.h>

#include <autoconf.h>

Expand Down

0 comments on commit 4584c24

Please sign in to comment.