Commits · 26371086261dcc4166a18c240d9d73484424b164 · Panda / seL4

This project is mirrored from https://github.com/seL4/seL4.git. Pull mirroring failed 2 weeks ago.
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
Last successful update 2 weeks ago.

May 28, 2015

ia32: Ensure multiboot structs are packed · 26371086

Adrian Danis authored 9 years ago

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.

26371086

ia32: Use explicitly sized types for multiboot structs · 01e39adb

Adrian Danis authored 9 years ago

The multiboot specification states that these fields are 32bits in sized,
not the size of machine pointer or integer.

01e39adb

May 27, 2015
- removed setCurrentASID · cf53dfa1
  Joel Beeren authored 9 years ago
  
  cf53dfa1
- Minor change to haskell implementation of armv_contextSwitch · e8ef76fe
  Joel Beeren authored 9 years ago
  
  e8ef76fe
- Changed haskell kernel to match new fastpath homogenisation changes · 4625b654
  Joel Beeren authored 9 years ago
  
  4625b654
- Forced bitfield proofs to use preprocessed bf files · 4ccf65ef
  Joel Beeren authored 9 years ago
  
  4ccf65ef
- arm: Rearrange context switching code to make fastpath and regular code not duplicate functionality · 682374db
  Adrian Danis authored 9 years ago
  
  682374db
May 22, 2015
- haskell: build server complained about lack of scalable font · d223dba2
  Gerwin Klein authored 9 years ago
  
  d223dba2
- haskell: cabal install dependencies into the sandbox · ae0614e0
  Gerwin Klein authored 9 years ago
  
  ae0614e0
- haskell: simpler build setup, so we can use cabal sandboxes · a31443e0
  Gerwin Klein authored 9 years ago
  
  a31443e0
- .gitignore: move Haskell ignores to their own file · 570306e1
  Gerwin Klein authored 9 years ago
  
  570306e1
- haskell: make latex document build · 2f08fce4
  Gerwin Klein authored 9 years ago
  
  2f08fce4
May 20, 2015
- Trivial: Fix comment typo. · 0b8627b0
  Matthew Fernandez authored 9 years ago
  
  0b8627b0
May 19, 2015
- haskell: tuned boot info docs · 0d0eb5c8
  Gerwin Klein authored 9 years ago
  
  0d0eb5c8
- fix spelling of FIXME and license tag · f854c130
  Gao Xin authored 9 years ago
  
  f854c130
- noInitFailure replaces liftE · 6e6e4713
  Gao Xin authored 10 years ago
  
  6e6e4713
- explict KernelInitState · 51222516
  Xin,Gao authored 10 years ago
  
  51222516
- minor change for haskell translator · 0eea2925
  Xin,Gao authored 10 years ago
  
  0eea2925
- expose more api and make haskell translator happy · e26cef40
  Xin,Gao authored 10 years ago
  
  e26cef40
- some adjustments based on old version 3725 · 4fa55b1e
  Gao Xin authored 10 years ago
  
  4fa55b1e
- init commit for imx31-new-qemu support · 8664ae4a
  Gao Xin authored 10 years ago
  
  8664ae4a
May 15, 2015
- change include/arch/ia32/arch/api/objecttype.h to match the libsel4 equivalent · f5afc2d9
  Anna Lyons authored 9 years ago
  
  f5afc2d9
May 14, 2015
- Move arch independent object definitions to common location · b97c75ff
  Adrian Danis authored 9 years ago
  
  b97c75ff
- Make reply and cnode caps the same on x86 and ARM and move to common structures file · ae52b9eb
  Adrian Danis authored 9 years ago
  
  ae52b9eb
- Make async endpoint caps the same on x86 and ARM and move to common structures file · 9f812d69
  Adrian Danis authored 9 years ago
  
  9f812d69
- Make endpoint caps the same on x86 and ARM and move to common structures file · dd4372e9
  Adrian Danis authored 9 years ago
  
  dd4372e9
- Make cap types that are exactly the same on ARM and x86 defined in a common location · f65ff119
  Adrian Danis authored 9 years ago
  
  f65ff119
- Add ability to set a human readable thread name when running kernel in debug mode · 952e5a27
  Adrian Danis authored 9 years ago
  
  952e5a27
May 13, 2015
- ia32: Move many assembly operations from .S file into inline assembly · fc1e413e
  Adrian Danis authored 9 years ago
  
  fc1e413e
May 09, 2015
- remove generated adglobs type · 1a568e76
  Gerwin Klein authored 9 years ago
  
  It's become obsolete after correspongin Isabelle C parser change.
  1a568e76
May 04, 2015
- Trivial: style · 69f37863
  Adrian Danis authored 9 years ago
  
  69f37863
- am335x: setup clock and enable dmtimer3 · 7bd0da55
  Tim Newsham authored 10 years ago
  
  7bd0da55
Apr 17, 2015
- trivial: style · e581882c
  Adrian Danis authored 10 years ago
  
  e581882c
Apr 15, 2015
- ia32: added the option to disable prefetchers · 8abdf6c5
  Sean Peters authored 10 years ago
  
  8abdf6c5
- split the types header into basic and compound to resolve circular dependencies · efcacb55
  Sean Peters authored 10 years ago
  
  efcacb55
Apr 01, 2015
- add Tim Newsham and Robbie Van Vossen to contributor list · 5ddff6cf
  Gerwin Klein authored 10 years ago
  
  5ddff6cf
- CONTRIBUTING.md file for github · 60ed6810
  Gerwin Klein authored 10 years ago
  
  60ed6810
Mar 23, 2015
- ARM: Fix hardcoded CPSR value for the idle thread · a5f61c71
  akroh authored 10 years ago
  
  a5f61c71
Mar 19, 2015
- am335x: allow UART to be used even in debug mode · 092b2c1f
  Tim Newsham authored 10 years ago
  
  092b2c1f
- Fix user access for VCNT · 5ef85de0
  akroh authored 10 years ago
  
  5ef85de0