summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-03-09Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2020-03-09Fix file name orderSamuel Thibault
2020-03-09Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2020-03-09Merge branch 'master' into master-user_level_driversSamuel Thibault
2020-03-09Clean exposition of interface to userlandSamuel Thibault
2020-01-28Set time_t type to 64bitSamuel Thibault
2020-01-27doc: Fix mapped-time exampleSamuel Thibault
2020-01-01Cope with machine_info.memory_size overflowSamuel Thibault
2019-12-01i386: use 64bit precision by defaultSamuel Thibault
2019-11-17Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2019-11-16Add port and entry in debugging printsSamuel Thibault
2019-11-12Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2019-11-12Fix hang on netdde crash with a nacked interruptSamuel Thibault
2019-11-12Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2019-11-12Replace cli/sti with splhigh/splxSamuel Thibault
2019-11-12Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2019-11-12More debuggingSamuel Thibault
2019-11-12Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2019-11-12Make cleaning unacked IRQs less noisySamuel Thibault
2019-11-12Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2019-11-12Move most user interrupt management to device/intr.cSamuel Thibault
2019-11-12Fix build warningsSamuel Thibault
2019-11-12Make userland irqs use counting, so both Linux and dde can mask interrupt as ...Samuel Thibault
2019-11-12typoSamuel Thibault
2019-11-12Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2019-11-12Merge branch 'master' into master-user_level_driversSamuel Thibault
2019-11-12irq: Add disabling counterSamuel Thibault
2019-11-11Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2019-11-11Merge branch 'master' into master-user_level_driversSamuel Thibault
2019-11-11irq: Add disabling counterSamuel Thibault
2019-11-11Merge branch 'master-user_level_drivers' into master-user_level_drivers-debianSamuel Thibault
2019-11-11fix typoSamuel Thibault
2019-11-11Merge branch 'master' into master-user_level_driversSamuel Thibault
2019-11-11irq: Add disabling counterSamuel Thibault
2019-11-11PIC: Acknowledge interrupts more carefullySamuel Thibault
2019-11-11PIC: fix EOI valuesSamuel Thibault
2019-11-11intnull: Only warn once.Samuel Thibault
2019-11-10spl: Remove intpri arraySamuel Thibault
2019-11-10Make default boot less scarySamuel Thibault
2019-11-10Fix build warningSamuel Thibault
2019-11-10Run interrupt handlers at spl7Samuel Thibault
2019-11-10simplify interrupt handlingDamien Zammit
2019-11-10ide: Use default IRQ by defaultSamuel Thibault
2019-11-10spl: Squash levels 1-6 into level 7Damien Zammit
2019-11-10pmap: fix format warningsSamuel Thibault
2019-11-10Xen: fix bootSamuel Thibault
2019-11-01sched: cause ast on master processor tooSamuel Thibault
2019-10-31pit: fix buildSamuel Thibault
2019-10-31pit: avoid initializating several timesSamuel Thibault
2019-10-30Drop spurious changeSamuel Thibault