Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 2, 2015

• Fixed quoted size in thread state comment

  

  akroh

  authored and

  akroh

  committed
  507e0b9

  Copy full SHA for 507e0b9

Commits on Jun 1, 2015

• x86: Correct build flags when building kernel standalone

  AdrianDanis

  committed
  839c442

  Copy full SHA for 839c442

Commits on May 28, 2015

• x86: Make x86 the name of the architecture instead of IA32

  Show description for 914741e
  AdrianDanis

  committed
  914741e

  Copy full SHA for 914741e

• ia32: Make arch configs more consistent

  AdrianDanis

  committed
  e4398c7

  Copy full SHA for e4398c7

• ia32: Explicitly pack ACPI structs

  Show description for f7a9021
  AdrianDanis

  committed
  f7a9021

  Copy full SHA for f7a9021

• ia32: Use explicitly sized types for ACPI tables

  Show description for ca1191c
  AdrianDanis

  committed
  ca1191c

  Copy full SHA for ca1191c

• ia32: Use unsigned long for reading / writing machine cpu registers

  Show description for 481bdff
  AdrianDanis

  committed
  481bdff

  Copy full SHA for 481bdff

• ia32: Ensure multiboot structs are packed

  Show description for 2637108
  AdrianDanis

  committed
  2637108

  Copy full SHA for 2637108

• ia32: Use explicitly sized types for multiboot structs

  Show description for 01e39ad
  AdrianDanis

  committed
  01e39ad

  Copy full SHA for 01e39ad

Commits on May 27, 2015

• removed setCurrentASID

  whalefur

  committed
  cf53dfa

  Copy full SHA for cf53dfa

• Minor change to haskell implementation of armv_contextSwitch

  whalefur

  committed
  e8ef76f

  Copy full SHA for e8ef76f

• Changed haskell kernel to match new fastpath homogenisation changes

  whalefur

  committed
  4625b65

  Copy full SHA for 4625b65

• Forced bitfield proofs to use preprocessed bf files

  whalefur

  committed
  4ccf65e

  Copy full SHA for 4ccf65e

• arm: Rearrange context switching code to make fastpath and regular code not duplicate functionality

  

  AdrianDanis

  authored and

  whalefur

  committed
  682374d

  Copy full SHA for 682374d

Commits on May 22, 2015

• haskell: build server complained about lack of scalable font

  lsf37

  committed
  d223dba

  Copy full SHA for d223dba

• haskell: cabal install dependencies into the sandbox

  lsf37

  committed
  ae0614e

  Copy full SHA for ae0614e

• haskell: simpler build setup, so we can use cabal sandboxes

  lsf37

  committed
  a31443e

  Copy full SHA for a31443e

• .gitignore: move Haskell ignores to their own file

  lsf37

  committed
  570306e

  Copy full SHA for 570306e

• haskell: make latex document build

  lsf37

  committed
  2f08fce

  Copy full SHA for 2f08fce

Commits on May 20, 2015

• Trivial: Fix comment typo.

  

  Matthew Fernandez

  committed
  0b8627b

  Copy full SHA for 0b8627b

Commits on May 19, 2015

• haskell: tuned boot info docs

  lsf37

  committed
  0d0eb5c

  Copy full SHA for 0d0eb5c

• fix spelling of FIXME and license tag

  

  Gao Xin

  authored and

  lsf37

  committed
  f854c13

  Copy full SHA for f854c13

• noInitFailure replaces liftE

  

  Gao Xin

  authored and

  lsf37

  committed
  6e6e471

  Copy full SHA for 6e6e471

• explict KernelInitState

  

  Xin,Gao

  authored and

  lsf37

  committed
  5122251

  Copy full SHA for 5122251

• minor change for haskell translator

  

  Xin,Gao

  authored and

  lsf37

  committed
  0eea292

  Copy full SHA for 0eea292

• expose more api and make haskell translator happy

  

  Xin,Gao

  authored and

  lsf37

  committed
  e26cef4

  Copy full SHA for e26cef4

• some adjustments based on old version 3725

  

  Gao Xin

  authored and

  lsf37

  committed
  4fa55b1

  Copy full SHA for 4fa55b1

• init commit for imx31-new-qemu support

  

  Gao Xin

  authored and

  lsf37

  committed
  8664ae4

  Copy full SHA for 8664ae4

Commits on May 15, 2015

• change include/arch/ia32/arch/api/objecttype.h to match the libsel4 equivalent

  pingerino

  committed
  f5afc2d

  Copy full SHA for f5afc2d

Commits on May 13, 2015

• Move arch independent object definitions to common location

  AdrianDanis

  committed
  b97c75f

  Copy full SHA for b97c75f

• Make reply and cnode caps the same on x86 and ARM and move to common structures file

  AdrianDanis

  committed
  ae52b9e

  Copy full SHA for ae52b9e

• Make async endpoint caps the same on x86 and ARM and move to common structures file

  AdrianDanis

  committed
  9f812d6

  Copy full SHA for 9f812d6

• Make endpoint caps the same on x86 and ARM and move to common structures file

  AdrianDanis

  committed
  dd4372e

  Copy full SHA for dd4372e

• Make cap types that are exactly the same on ARM and x86 defined in a common location

  AdrianDanis

  committed
  f65ff11

  Copy full SHA for f65ff11

• Add ability to set a human readable thread name when running kernel in debug mode

  AdrianDanis

  committed
  952e5a2

  Copy full SHA for 952e5a2

Pagination

Previous

Next