Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 5, 2024

• cspec: extract irqBits from platform_gen.h

  lsf37

  committedJul 5, 2024
  cfa2c2c

• cspec: extract maxIRQ definition from platform_gen.h

  lsf37

  committedJul 5, 2024
  380f108

• cspec: remove duplicate keys in gen-config-thy.py

  lsf37

  committedJul 5, 2024
  a7001e5

Commits on Jun 12, 2024

• x64 aspec+haskell: add x64_ioapic_nirqs to arch_state

  lsf37

  committedJun 12, 2024
  9d27670

Commits on Dec 11, 2023

• cspec/c: provide NUM_DOMAINS build override option

  lsf37

  committedDec 11, 2023
  a828b99

Commits on Oct 29, 2023

• cspec: adjust for kernel build change

  lsf37

  committedOct 29, 2023
  1fa8d8c

Commits on Jun 5, 2023

• cspec: Use L4V_PLAT in build export script

  

  mbrcknl

  authored and

  lsf37

  committedJun 5, 2023
  c4d673b

• cspec: introduce L4V_PLAT

  lsf37

  committedJun 5, 2023
  7c422d7

Commits on Mar 8, 2023

• cspec: make remaining relative paths absolute (#607)

  lsf37

  committedMar 8, 2023
  4a42803

Commits on Mar 7, 2023

• cspec: use absolute path for overlay targets (#597)

  lsf37

  committedMar 7, 2023
  1a7eb92

• cspec: provide mechanism for adding dts overlays (#591)

  lsf37

  committedMar 7, 2023
  42c4e78

Commits on Mar 6, 2023

• cspec: extract physBase from C headers

  lsf37

  committedMar 6, 2023
  c072a9c

Commits on Mar 3, 2023

• c-kernel: Support pre-built standalone C parser

  mbrcknl

  committedMar 3, 2023
  2bed181

• ci: Add a script to export kernel build artifacts

  mbrcknl

  committedMar 3, 2023
  4607098

Commits on Mar 2, 2023

• cspec: adjust Kernel_Config generation (#590)

  lsf37

  committedMar 2, 2023
  eaf735c

Commits on Apr 19, 2022

• gen_config: add generator as dependency

  lsf37

  committedApr 19, 2022
  f5acf1c

• machine: make Kernel_Config available earlier

  lsf37

  committedApr 19, 2022
  f46f9bd

• cspec gen-config: add bool config keys + defaults

  lsf37

  committedApr 19, 2022
  ad1b311

Commits on Mar 23, 2022

• cspec kernel.mk: avoid spurious dependencies

  mbrcknl

  committedMar 23, 2022
  96b2dfc

• cspec kernel.mk: always use TOOLPREFIX for objdump

  mbrcknl

  committedMar 23, 2022
  8c68e54

Commits on Feb 3, 2022

• cspec: enable preprocess test for AArch64

  lsf37

  committedFeb 3, 2022
  04626b0

Commits on Dec 23, 2021

• machine+C: generate Kernel_Config.thy from C

  lsf37

  committedDec 23, 2021
  8929a6d

• cspec: separately generate C config headers

  lsf37

  committedDec 23, 2021
  3b616f5

Commits on Dec 9, 2021

• cspec: more compiler options

  lsf37

  committedDec 9, 2021
  ce67a72

Commits on Apr 4, 2021

• yet another TOOLPREFIX for riscv toolchain (#264)

  lsf37

  committedApr 4, 2021
  4da8cfa

Commits on Aug 10, 2020

• regression: use python3 for mk_umm_types

  mbrcknl

  committedAug 10, 2020
  16f87e0

Commits on Apr 23, 2020

• c-kernel: remove Makefile dependency on seL4/.git

  mbrcknl

  committedApr 23, 2020
  1c4c9a8

Commits on Apr 17, 2020

• c-kernel: avoid unnecessary rebuilds due to __pycache__ directories

  mbrcknl

  committedApr 17, 2020
  d8364c9

Commits on Mar 13, 2020

• licenses: convert license tags to SPDX

  lsf37

  committedMar 13, 2020
  a424d55

Commits on Feb 26, 2020

• c-kernel: add Makefile targets useful for binary verification

  mbrcknl

  committedFeb 26, 2020
  65074bc

Commits on Aug 12, 2019

• cspec: Add feature selection variable.

  pierzchalski

  committedAug 12, 2019
  31d5c1c

Commits on Mar 18, 2019

• Update to new toolchain

  

  Luke Mondy

  committedMar 18, 2019
  89372de

Commits on Jul 20, 2018

• cspec Makefile: add target for kernel source.

  

  Thomas Sewell

  authored and

  Thomas Sewell

  committedJul 20, 2018
  d262d7f

Commits on Jun 27, 2018

• riscv: setup cspec build for L4V_ARCH=RISCV64

  

  Xaphiosis

  authored and

  lsf37

  committedJun 27, 2018
  31b6354

Commits on Apr 13, 2018

• cspec: fix make dependency breakage when CMake command fails

  JaphethLim

  committedApr 13, 2018
  1966c2e

Pagination

PreviousNext