portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
181 commits 1 branch 42 tags 18 MiB
Commit graph

181 commits

This branch
This branch
All branches
Author SHA1 Message Date
Adrian Danis
8e5921c6a7 bitfield: Allow for controlling how many bits of a word are actually used, and whether the rest of the bits are signed extended or not 2015-06-22 14:42:41 +10:00
Adrian Danis
f8ea6f22b9 bitfield: Allow for using different bases throughout a bitfield file 2015-06-22 11:58:11 +10:00
Adrian Danis
a34bc7de30 bitfield: Extend bitfield generator to add a size suffix onto constant mask values 2015-06-22 11:57:52 +10:00
Adrian Danis
f86435c0f8 Refactor some common elements across arm and x86 structures.h files. 
This change purely changes the ordering of C symbols, as well as
adding some extra checking
 2015-06-15 17:17:07 +10:00
Matthew Fernandez
2972de784f Add a config option for the word size of the current platform. 
This option is not necessary at compile-time as it is subsumed by the
compiler's #defines, but it is useful for code generators such as CAmkES to
know, at generation-time, the native word size of the platform they are
generating code for. Existing mechanisms either hard code a 32-bit platform or
use a set of fragile heuristics to work out the word size. Note that this
option is set automatically and not visible from menuconfig.
 2015-06-03 09:57:51 +10:00
Matthew Fernandez
bb0d6b498c Ignore x86 generated header. 2015-06-02 20:19:21 +10:00
akroh
507e0b9d16 Fixed quoted size in thread state comment 2015-06-02 14:59:26 +10:00
Adrian Danis
839c442813 x86: Correct build flags when building kernel standalone 2015-06-01 13:52:54 +10:00
Adrian Danis
914741ea33 x86: Make x86 the name of the architecture instead of IA32 
IA32 is 32bit version of the x86 architecture. Whilst only IA32
is supported, much of the code is generic x86. Using a generic
x86 architecture will aid in future 64bit support
 2015-05-28 15:15:23 +10:00
Adrian Danis
e4398c792e ia32: Make arch configs more consistent 2015-05-28 15:15:23 +10:00
Adrian Danis
f7a902198e ia32: Explicitly pack ACPI structs 
Use explicit struct packing instead of using compiler asserts
to check that packing happened as expected
 2015-05-28 12:09:13 +10:00
Adrian Danis
ca1191c7dc ia32: Use explicitly sized types for ACPI tables 
The ACPI standard says these fields are 32bits, not the size
of a machine word or pointer
 2015-05-28 12:09:12 +10:00
Adrian Danis
481bdffa99 ia32: Use unsigned long for reading / writing machine cpu registers 
Using an unsigned long instead of forcing to 32bits allows this code
to be reused in a 64-bit context
 2015-05-28 12:09:12 +10:00
Adrian Danis
2637108626 ia32: Ensure multiboot structs are packed 
This is a paranoia commit as most compilers will not
pad members of a struct if they are all the same size,
but this commit ensures it.
 2015-05-28 12:09:12 +10:00
Adrian Danis
01e39adb66 ia32: Use explicitly sized types for multiboot structs 
The multiboot specification states that these fields are 32bits in sized,
not the size of machine pointer or integer.
 2015-05-28 12:09:12 +10:00
Joel Beeren
cf53dfa1e7 removed setCurrentASID 2015-05-27 13:05:28 +10:00
Joel Beeren
e8ef76fe0f Minor change to haskell implementation of armv_contextSwitch 2015-05-27 13:05:27 +10:00
Joel Beeren
4625b65433 Changed haskell kernel to match new fastpath homogenisation changes 2015-05-27 13:05:27 +10:00
Joel Beeren
4ccf65ef74 Forced bitfield proofs to use preprocessed bf files 2015-05-27 13:05:27 +10:00
Adrian Danis
682374dbef arm: Rearrange context switching code to make fastpath and regular code not duplicate functionality 2015-05-27 13:05:27 +10:00
Gerwin Klein
d223dba24f haskell: build server complained about lack of scalable font 2015-05-22 22:02:38 +10:00
Gerwin Klein
ae0614e09a haskell: cabal install dependencies into the sandbox 2015-05-22 15:23:27 +10:00
Gerwin Klein
a31443e0c4 haskell: simpler build setup, so we can use cabal sandboxes 2015-05-22 15:19:36 +10:00
Gerwin Klein
570306e1b6 .gitignore: move Haskell ignores to their own file 2015-05-22 15:18:22 +10:00
Gerwin Klein
2f08fce48b haskell: make latex document build 2015-05-22 15:17:08 +10:00
Matthew Fernandez
0b8627b012 Trivial: Fix comment typo. 2015-05-20 12:17:26 +10:00
Gerwin Klein
0d0eb5c868 haskell: tuned boot info docs 2015-05-19 19:24:43 +10:00
Gao Xin
f854c130f3 fix spelling of FIXME and license tag 2015-05-19 19:23:06 +10:00
Gao Xin
6e6e471381 noInitFailure replaces liftE 2015-05-19 19:23:06 +10:00
Xin,Gao
51222516bd explict KernelInitState 2015-05-19 19:23:06 +10:00
Xin,Gao
0eea292555 minor change for haskell translator 2015-05-19 19:23:06 +10:00
Xin,Gao
e26cef4074 expose more api and make haskell translator happy 2015-05-19 19:23:06 +10:00
Gao Xin
4fa55b1ef4 some adjustments based on old version 3725 2015-05-19 19:23:06 +10:00
Gao Xin
8664ae4a18 init commit for imx31-new-qemu support 2015-05-19 19:23:06 +10:00
Anna Lyons
f5afc2d917 change include/arch/ia32/arch/api/objecttype.h to match the libsel4 equivalent 2015-05-15 14:43:24 +10:00
Adrian Danis
b97c75ffb4 Move arch independent object definitions to common location 2015-05-14 09:42:19 +10:00
Adrian Danis
ae52b9eb02 Make reply and cnode caps the same on x86 and ARM and move to common structures file 2015-05-14 09:42:19 +10:00
Adrian Danis
9f812d695a Make async endpoint caps the same on x86 and ARM and move to common structures file 2015-05-14 09:42:19 +10:00
Adrian Danis
dd4372e9c4 Make endpoint caps the same on x86 and ARM and move to common structures file 2015-05-14 09:42:19 +10:00
Adrian Danis
f65ff11956 Make cap types that are exactly the same on ARM and x86 defined in a common location 2015-05-14 09:42:18 +10:00
Adrian Danis
952e5a272b Add ability to set a human readable thread name when running kernel in debug mode 2015-05-14 09:32:58 +10:00
Adrian Danis
fc1e413e5b ia32: Move many assembly operations from .S file into inline assembly 2015-05-13 17:00:26 +10:00
Gerwin Klein
1a568e764a remove generated adglobs type 
It's become obsolete after correspongin Isabelle C parser change.
 2015-05-09 06:46:31 +10:00
Adrian Danis
69f37863aa Trivial: style 2015-05-04 11:50:48 +10:00
Tim Newsham
7bd0da5533 am335x: setup clock and enable dmtimer3 2015-05-04 11:46:06 +10:00
Adrian Danis
e581882c3c trivial: style 2015-04-17 13:52:37 +10:00
Sean Peters
8abdf6c5ed ia32: added the option to disable prefetchers 2015-04-15 14:38:55 +10:00
Sean Peters
efcacb55ba split the types header into basic and compound to resolve circular dependencies 2015-04-15 11:57:08 +10:00
Gerwin Klein
5ddff6cf22 add Tim Newsham and Robbie Van Vossen to contributor list 2015-04-01 11:58:31 +11:00
Gerwin Klein
60ed681095 CONTRIBUTING.md file for github 2015-04-01 11:47:42 +11:00